Thanks, I'm the type who reads the instructions front to back before I take a part out of the box.
The red needle doesn't go lower than 85, when heater has the water at 80. The red needle does not have an infinite adjustment, it has stops.
I have 3 thermometers that agree with the 80 (and one that doesn't)