It is ok to use a different type timer. You will have no problem
getting one from a good heating / plumbing supply shop.
I recommend you get a "mechanical" type timer as opposed to a "digital
/ electronic" type as you have to remember the setting steps when you
want to adjust them. Also you will need to decide if you want a 24
hour or 7 day timer.
Hope this helps --- Pat E