K.M.
Hi,
First of all, he definaltely has hypersensitive hearing if he is bothered by loud sounds like that. You need to take him to an audiologist to test this type of hearing. They W. do an "octive range" type test to determine his threshold to certain sound pitches. Some children W. get used to different sounds, there is also audio training programs you can do to help the ears adjust to different levels of sound. Yes, it is all very confusing i know. One thing that W. help is ear plugs. If he is in a situation like loud rooms or movie theatres the ear plugs W. diffuse the sound. Not that he needs to wear them all the time, just in places to make him confortable. It is actually painful to them in some way. Imagine if you had to listen to things at a very loud range. His hearing is so good that he could probably hear things we cannot. Continue to look into it so he is comfortable in school and not having problems too. A good Audiologist W. be able to lead you in the right direction and os course mamsource.
All the best to you,
km