The Tektronix GS510 is a TM500 plug-in that receives GPS signals and provides 10 MHz and 1 Hz outputs.