All of those AVR's would drive that system great. It really depends on what bells and whistles your looking for and how you plan to use the receiver. I'm assuming your planning on something good for HT, and something great for music as well? All of these will perform fine. I would look at the options of each closely and decide from there.....If that doesn't work flip a coin or coins

M80s VP180 4xM22ow 4xM3ic EP600 2xEP350
AnthemAVM60 Outlaw7700 EmoA500 Epson5040UB FluanceRT85