You should give a call to the American Institute of Stuttering in NYC. They are great with kids and can probably point him in a healthy direction. I would say definitely get therapy, but it has to be a good therapist. A lot don't know what they're doing unfortunately.