Punch it, Pull it, or Fill it?

I would do whatever it takes to push out the dent . Mickey Mouse repaires hav a habit of biting you in the rump sometime of another . BTW the dent in the stainless is repairable/replaceable . Good luck , Tom
Yes they can, and on a leading edge a rock can turn it into a big chunk of missing material