My version was actually a rework of a TV-derived unit I had built earlier, which used 7812.5 Hz as the ref from the 10MHz xtal (half PAL line). Replaced the divider chain and threw out the sync separator in favour of the 10k from the Jupiter, and it ran straight off. It was only later I saw Miller's unit, and learned that I had reinvented yet another wheel.
They (Jupiters) pop up from time to time on ebay.
Since the Rockwell->Conexant->Navman transfer, the Navman people have gone Sirf and lost the 10k in the process.
There's a fair bit of doco out there on "Jupiter GPS".