Acupuncture as a Treatment Option in Treating Posttraumatic Stress Disorder-Related Tinnitus in War Veterans: A Case