Thanks guys! I'll probably follow Ian's advice and go for eBay UK. I can buy a timer here, but there is pretty much only one model on the market and it doesn't look very sturdy. Expensive too.
Ian, would your friend be interested in selling his timer?