Steve and I turned on the box this morning so that the IMC would lock again.
For future reference, remember that one should turn off the Marconi output before turning off the RF distribution box. Don't drive the input of unpowered RF amps.