Large Dent Repair DIY?

I’ve had them do some pretty miraculous stuff. In fact we call one local guy Miracle Mike, not to be confused with Magic Mike who’s in a different line of work

The dent appears to be about 2" in diameter. Am I misinterpreting it?