Has anyone done anything with the Ublox GPS timing receivers? As it appears the Navman with the 10khz outputs seem to be drying up, I'm wondering about the Time Pulse 2 output being set to 10 Khz or 100 Khz. Thoughts anyone? Rich W9ENG