I have a headgasket leak on my 94 sc2. The dealer wants 00 to fix it. Does that should right? It's an external leak which means it is leaking oil down the back of the engine, but I am starting to smell antifreeze also. Has anyone here change one before? Thanks!