Fil, Evan
We screwed the 9 MHz OCXO source and the 9 MHz harmonic generator into ISC C4.
To do this, we had to first unscrew the IFR, remove its feet, and then screw it back in (the feet were blocking the slot for the OCXO).