Another solution might be to use a computer KVM switch and break-out cables with a wireless keyboard to switch the input sources. I'm using this method to switch RGB sources for my HDTV, and it works fine. In theory, converting BNC connectors to RCA connectors could create ghosting due to an impedance mismatch, but I have not noticed any visual degradation in my setup.