I have a Sony STR-DA2400ES Receiver, I picked it mostly as it has the largest number of audio decoders until you got into their top of the line. I have not compared it to the other Sony you mentioned but I can say I have never regretted getting the STR-DA2400ES Receiver.
It might of just been my situation but I had a mix of new stuff and old stuff on the video side, HDMI from the HD Cable box and Blu-Ray Player, component from the my Panasonic DVD Recorder w/Hard Disk, Component or HDMI from the Sony 400 DVD SD DVD changer, and copmposite from my video repeater from another Panasonic DVD/HD recorder in another room.
You can read my review on the Sony site, but I can tell you is is one clean system. All video inputs can be defined to an audio input, it has two optical and on coax digital audio inputs, HDMI to the TV and so on.
Everything and I mean everything can be tweaked, there is no doubt you have to lean on the manual which is pretty good to get the most out of it as far as configs.
For me the auto-calibrate for the 7.1 worked perfectly as far as setting the right levels and balance then I adjusted some things to my own preference.
Check out ebay I gont mine there from an authorized Sony dealer, so my warranty and all that goos stuff was honored from Sony when I registered it and I saved a lot.
I know there is better stuff out there but for the money it blows my socks off. The sound is great, the flexibility is great.
As I said I can't speak to the others, but I doubt you will be unhappy with the STR-DA2400ES.