I am going to be replacing my thermostat. Do I need to or should I use gasket sealant or any other lubricant when replacing? regards dcar00