If you go here: http://www.4indesit.co.uk
You will find that a replacement timer will cost you £94.99 + P & P.
They are easy enough to replace with a little bit of commonsence and wiring awareness but I suggest that Tim's advice is best.
GB in Wales
March 2013