This is the first I've heard of the timing cover gasket leak issue. Does the fix involve a new (updated) timing cover as well as replacement gasket?...