Hi,
With all the receivers that you mentioned and their prices, the OBVIOUS CHOICE is the Marantz SR7002.
That's the one that I will pick, without a second thought.
You'll be so happy that you pick that one, it will make your world a much more pleasurable place to live. HDMI vesion 1.3 is the way to go, and with all the new audio decoders too. Even if the 7001 is much cheaper, it is not up to date.
Bob