I've used the one marco sells, but I'd say that Ingo's version is the one you'd want.
However, working clock is better than 'maybe I can get something better someday".
Marco:
https://www.marcospecialties.com/pinball-parts/CLK001P
Pinball Life:
https://www.pinballlife.com/twilight-zone-clock-pcb-assembly.html
People often ask me about vintage pinballs... can I get parts for something made 30 years ago... I say... maybe.
What happens now is that somebody sees a need for a part, and some hobbyist makes a few. Then parts are available... until they run out. Then somebody sees a need for a part and makes a few...
Parts can come in fits and starts. Best advice is to buy while it's available, because maybe that hobbyist won't produce that product ever again, or it might be years until the part is made again.
This is particularly true with 'better than factory' parts. Like Ingo's Clock board. Like the 'auto-sensing eddy board' that was briefly available. Playfields. Ramps. It can be difficult to get what you want when you want it.
Good luck with your restoration... I'd probably buy Marco's replacement, and try to get an order pending with Ingo, if he ever makes these again.