I am planning on getting a PS3 when it comes out in a year or so, and I have been reading about people who want HDMI switching for their Xbox 360's. What is HDMI switching and why not get a HDMI switcher if your receiver can do it?