My local guy said the same thing, $80. He gave me the price for an entire gasket set, $60.
When I get time, I'll take engine apart and take a look see inside.
At this point friend doesn't want to put $150 in a used mower, when there are many on craigslist for $100-$200 range.
However, the rest of the mower has been well taken care of.