Gracias por las respuestas.
Estuve el otro día en Leroy Merlin viendo los termostatos digitales y estoy entre dos modelos de SIEMENS, uno es el Siemens RDE10.1 (45 euros) y el otro es el Siemens REV200 (110 euros). El primero solo puede alternar entre dos temperaturas y el otro tiene hasta 3 de día y otra de noche, además de que los cambios los hace progresivos y no bruscos como el primero, con lo que ahorra más.
En fin, que esto de los termostatos es también un mundillo y aún no tengo claro cual comprar. Además, he leido en algunos foros que a la gente les dan muchos problemas hasta que consiguen hacerlos funcionar correctamente.
Por cierto, el pasillo cerca de la puerta de entrada es el lugar más frio de la casa, no menos frio.