I've a Denon DVD player and have it connected to my plasma screen (Pioneer PDP-435XDE) via the HDMI socket. If I introduced another HDMI device (e.g. SKY HDTV box when it launches), how will I connect that when I'm already using the one and only HDMI socket on my plasma screen? I presume that there will be/are HDMI switching boxes or have I missed something here? Thanks.