I sincerely hope that someone has suggested EMDR therapy for his trauma. It helps a lot and yeilds positive changes faster than the other forms of therapy.
It's the most studied form of therapy and a consensus of years of studies has verified it's efficacy as a PTSD treatment. Newer studies are showing efficacy with phobias and depression as well.
For what it's worth, it originally started as PTSD treatment for combat veterans and helped a lot of them when nothing else did.
If anyone knows anyone suffering through PTSD, phobias, or depression. Please let them know about it. Here's an overview of it for anyone interested.
https://my.clevelandclinic.org/health/treatments/22641-emdr-therapy