does it matter what type of coolant you run? just left the lube shop and they told me i had the wrong color coolant, is this my my temp sensor is messing up?