tnix - i'll soon be doing that operation, and was wondering if it'd be a good idea to use both gasket and a sealant like hi-temp rtv or the other usual sealants