I'd like to set up a solution where I keep time set on a single linux box with either GPS or the NIST radio signal. I've found a company in the UK that sells what I'm after, but I'm curious if anyone knows of a U.S. based vendor?