I have a coworker that just overheated his '98 Boxster. The mechanic said that he blew a head gasket. Anyone have experience replacing this? A new engine is $12k with $3k labor to remove and install. A used engine would be $3k plus labor. The car is worth $8k... Poor guy. He isn't a DIY guy either. Ouch. Corey