Should I: a) Remove and replace
gasket?
b) Remove and coat gasket with high temp
RTV?
c) Throw away all three gaskets and use only high temp
RTV?
d) None of the above and ignore the
leak?
I would say C.
Amazing that it works, but it really does
work.
Rusty