My buddies 01 24v is leaking coolant an the front passenger side corner of the head gasket externally. We are going to pull the head and see what's going on. What is the best replacement gasket for the engine. I thought I heard that the 3rd gen gasket was better. He is going to keep the stock head bolts for now.