Out of everything you've listed, bang for the buck, try and find a NIB ONKYO 805. Of all the ones you listed, it would be my choice. As far as processing, features and setup, its been my fav. I picked one up on closeout at Circuit City for just under $500 months back.
The others are all good as well, just would be my personal preference.