Is there a device out there that can switch multiple HDMI or DVI inputs into one output? My Benq PE7700 has one component, one HDMI, one VGA, one s-video and one composite input but I have more than one HDMI device.