Heres the situation. I currently have a Pioneer VSX-9300tx receiver. I have had it for about a year now and love it. Love the remote and on screen display as well as the auto configuration with the microphone. Any way since purchasing a Playstation 3 I have been thinking more and more about HDMI switching. My current receiver doesn't have HDMI inputs so I have been shopping around. I have the opportunity to purchase either the