Have they tried playing soothing music around him? Or sending him to another room until he feels as though the noises have passes?
As a school counselor I worked with a child similar to this but would repeat cartoons NON-STOP!! It got frustrating for those around him, but we simply would tell him, when you feel like you need to make noise, please excuse yourself and go to the noise room (it was a spare room we had in the school). The teacher would then set a timer for 5 minutes, after that time if he was not back on his own, another student would go and get him. This gave him respect of not getting picked on by other students as well a chance to do something that he truly could not help.
Good luck!! Sometimes you have to work with the noises in order for them to go away!