sounds high to me.
Is there another garage in town?

Head gaskets usually run around $1K +/-


"wanna hear God laugh? Tell Him you have complete control now!"