I just got one from ebay; and the seller sent me a 2nd for free that was "not working".. I tested it and it worked as long as the start/stop bar was pressed.
Update1: This is an industrial timer, with 1980s technology. My neighbor is a retired electronic engineer and he looked at it.
There's only a few things that can go wrong with the insides, but mostly oxidation and end-of-life of capacitors (2) were his main concern, as well as a broken ribbon cable (3).
In my case the start/stop switch (1) was not working properly, contact cleaner worked after actuating it a few times, and everything else seemed OK. He applied contact cleaner in a few places and cleaned it anyways.
The Board uses 12V electricity, and there is a transformer in the back, which is the main weights of the timer.
There is a voltage regulator (4) and a large capacitor in the back; which must be used for big loads (400W or more) which this timer is rated for; but shouldn;t be a problem for a 100W enlarger bulb.