You are correct in that, the Harman/Kardon AVR645, and 745: has two HDMI inputs and one output, and they are of the older 1.1. I have heard that you can buy an add-on HDMI switcher for around $300. I know that Sherwood Newcastle makes one. I do not know whether it is 1.1 or the newer 1.3, and I'm sure that there are others. Check out the Sherwood at
http://www.sherwoodamerica.com/prod_hsb600.html.