Indesit WIDL102 stopped heating water?

Hi -
Our Indesit WIDL 102 washer/drier has stopped heating the water for the wash cycle and no longer heats during the drying cycle. It still washes, but with cold water, and "dries" but does not heat the clothes. I did notice a slight "burning" smell a day or two before, so I suspect a burnt out heater element. Does this sound likely?

Arthur
February 2010