[time-nuts] 5 MHz from 10 MHz

[Dick, W1KSZ]

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