Can I throw a bone in here?....
I would like to add the Onkyo TX-SR805 to that list. Newest features, aside from HQV Reon video processing (could be had on the TX-SR875 for about $500 more), 20 plus pounds on its predecessor, the model you already own.
The reasons I would go with it..
It is a killer deal, and it has more power than you could ever need for those speakers. Since you get another SR800 series receiver not much should change in the user interface, so setting it up should be like childs play (aside from heavy lifting and slightly more difficult placement due to the dimensions)
That is my vote, and I am sticking to it. I think it has all the receivers in the opening post beat, just my humble opinion though.