I would guess that an overhaul would be more like $5,000. This car is very difficult because the engine fills up the engine compartment and the parts are very expensive.
$5000.00 MIGHT get you a valve job. Doubtful, though.
To anger a conservative, lie to him. To annoy a liberal, tell him the truth.