Oh, good heavens. That's terrible.
I agree, a trip to the drs. Even if it is just to talk about what happened and get an opinion. I don't know what physical things the dr would do, but best to see one anyway.
Are the police talking about it with him? They may have counseling services they could refer him to...