I've got a leaking oil pressure switch/sending unit and will be replacing it tomorrow. The shop manual says to use a silicone sealant on the threads. Which kind is preferable? I've got RTV high-temp copper and water pump gasket kinds in the garage. Will one of these do?