Punch it, Pull it, or Fill it?

I would pull it out with a stud gun, not sure what tools you have access to.

That's another route if he has access to one (or is willing to spend $175). I bought an H&S Autoshot 4550 and it's an amazing tool for pulling dents. Don't waste your $ on the cheapo Harbor Freight one.