The timer on my 13 year old washer/dryer has died. Is it time to replace the W/D, or should I replace the timer. Where can I source it?