I don't hate a raise there at all. Push is overzealous but maybe pop it up to 90? He has a lot of hands to be terrified about: 77, 88, 9T, TJ. That's a disgusting board for an overpair, if that's what he's got, and clearly he's insta-folding overcard hands.

But what you don't want is for HIM to have 88. Boy would your face be red.