VSX-1124 vs. TX-NR636 vs. AVR-S900W vs...?
I'm in the market for a new receiver to replace my aging Denon AVR-3808ci. I only have a few requirements...
Must be HDMI 2.0, so if I ever get a 4K TV, I can get full 60hz from the receiver.
Must have at least 7 HDMI inputs, since I have a lot of gaming devices to hook up (Xbox One, Xbox 360, PS3, PS4, Apple TV, DirecTV receiver, and Wii U). Some of those devices will go away eventually, but I'll probably just get others to replace them.
Finally, my current TV is a Samsung UN65D8000, with a pair of Astro A50's hooked up to the toslink port on it. The new receiver must be able to mute the surround speakers, but still push audio through the HDMI to the TV, so the TV can push it to the optical port for the headset.
With those things in mind, and also considering that I'm not an audiophile, which of the 3 receivers would best suit my needs, or is there a better option out there?