Pues al final no lo he comprado, porque al salir del taller, como estuvieron toqueteando, volvió a funcionar. Así que tiene que ser un mal contacto, pero el ventilador funciona. De todas formas estaría bien saber la referencia para un futuro, por lo que pueda pasar.