I have already asked several friends with practical knowledge if I can just replace the thermostat and that would be the end of things. They didn't know! I might have to do some light googling. Or phone a plumber. Because a thermostat that thinks 10 degrees means 20 degrees is not very environmentally friendly!
Me in a T-shirt: then it’s not ten degrees!