If something has been hit hard enough to bend the front lip of the mower deck, it’s possible that something else is bent. Heck, he can buy a new complete deck for around $500.If the spindle housing has a fracture so it is tilted or the deck is bent just measuring the blade height will not work
Measuring the blade height only shows if the blade is bent