GPSDO time base - Mike Harrison