We have the same problem and talking to the help desk it seems that the clock is an automatic timer and unless it is set they do not work at all. A spare timer costs around £105 but you will also have to pay the callout charge and labour charge to have it fixed.
dissapointed cook, February 2008