What does every one recomend to use on the pipe plugs on a exhaust manifold. Teflon sealer or other???