Just noticed that the coolant temp sensor that screws into the steel pipes is leaking. I have replaced these with ACT ones, but was so long ago I may have forgot a washer, does someone know if there should be one or is it a case of plenty of ptfe tape?