protec says to use hi temp silicon sealer with their cheap paper gasket I am planining to use OEM do I still use RTV?