Hi. My brother is 7 years old and was putting on his sound proof headphones. They somehow pinched him and he now has a huge oval shaped bump on his forehead. It's blue and we're icing it but should we take him to the doctor cause the bump is half an inch raised. Please help.