Option 4! It shouldn't take too long to do yourself and it' not that expensive either. You need maybe $100 in fluids (oil/ coolant), $150-200 in gaskets and new bolts, $20 for a thermostat (why not), not sure how much in hoses, once you have the heads off take it to a machinist to get them...