I just received an email estimate from a mechanic in Las Vegas who was recommended on YELP: $900! parts and labor, but he hasn't seen the car. Let's say he comes down to $600! GULP! My mechanic in Ventura, CA, said it would be about $350. Any ideas who is closer to replacing the gaskets?