Thanks for your replys. You have confirmed what I suspected. Next obvious question is, what should I expect to pay to have the head gasket replaced?