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