Yes, he did see a counselor for a few sessions several years ago. I don't know how much it helped, but he was still quite young then.
We are certainly considering counseling as an option. Cost is a concern if it is needed long-term, but we are willing to make the sacrifice. Does anyone have any advice on how to find one? Or referrals? We are in Orange County, CA.