I've heard small dents can be taken out by first heating the area up with like a hair dryer, then rub some dry ice over it. If you dont wanna mess with dry ice, buy an air duster and hold it upside down so that the liquid will spray out.

 

Using dry ice is how many shops get out dents made by hail
It may work for his small dent as well