Has anyone on here had to replace a head gasket what kind of work I'm I into here and what did it cost