Can't find a manufacturers one but I've been using a plug-in 24 hour timer ( bought for about £3) for the last 5 years, with no problem. Just put it on the plug and use the times you can set on that.
Chris Mackay
March 2009
Automatic Answer
We may have found other answers which could help you.