Mark, I’ve heard Mike Eck does great work, but after reading it was difficult communicating with him, I didn’t want to let my clock out of my hands. Call it paranoia!
There is another solution: Clocks4Classics.com. They make a similar digital PCB pacemaker and sell it in kit form with detailed instructions. Price from England is just under $100, delivered. Thus, you can repair your clock on your work bench. It’s a very fulfilling job.