Does anybody know what the operating temperature range for a 1987 Mariner 135 should be? What is the temp for the alarm sensor? I toasted my last motor when the water pump went out and don't want a repeat performance. I have scoured my shop manual and would like to strangle the editor because they didn't put these specs in there.