Just checked the original Vanette thermostat.

It is marked 76.5C.

I will try to post a pic later.....

17.0K:out: