Error Code on Indesit WD12x?

My Indesit integrated washer is acting up. The dial continues to rotate when on the wash cycle (but the spin cycle works normally). The LED flashes 3x and as far as I can tell from the limited information on the Indesit website, this means a thermostat problem. As noted the machine has a thermistor, does a circuit board therefore need to be replaced?
Just trying to decide if I should replace or repair. The washer is 5 years old, and I've had no problems with it until now.
Thanks

Exe-man
October 2010