The Rich demod box wants 10dBm for the local oscillator inputs, so I measured the values that we have coming out of the distribution box. I'm using the "Spare 55MHz" and the "POP11" outputs, both of which had terminators so were not in use.
The 55MHz had ~600mV peak, so between 5 and 6 dBm.
The 11MHz had ~800mV peak, so about 8 dBm.
This is not enough dBm for either. Going in search of RF amplifiers now...