Hi All,
I just posted an article here
http://www.tubeclockdb.com/user-submitted/354-jeff-thomas-gpsii.html about an original 2003 Jeff Thomas GPSII clock, which is up for sale. This had the GPS module which stopped working in Feb 2016 because of a firmware limitation, but the owner (probably lurking here somewhere) made a new one to the same quality standards. The firmware has also been updated in 2010.
It's a beautiful clock.
Non-disclaimer: It's not my clock, but I wanted to feature it on the site because of the history associated with it. It will only ship to the US, so that does it for me, because I'm not in the US. :-/
On another note, if anyone else has an interest in the updated GPS module in the same idiom and quality as the original one, the owner might also be able to make a few more.