The HDMI switch I previously mentioned I was modifying to be controlled directly via the IR receiver pin.