I want a receiver with HDMI. I know the 72txv is a newer model but I can't find much on personal reviews on it. I have the Pioneer Elite VSX-36TX for my upstairs HT. My (under construction) basement HT will be wired for 7.1, so the 72txv seems like a great choice. I'm open to any other brands in a similar price range that have HDMI.