In any case, pulling and repairing a cylinder
isn't *that* big of a deal.

Not a big deal, but needs to reflect in the purchase price.