I have several 10 MHz sources that are locked to GPS. I just acquired an HP 8640B that requires a 5 MHz reference input. Other than building up something, are their any commercial devices that will give me a 5 MHz output from a 10 MHz source ? Thanks, -- 73, Dick, W1KSZ