Don't buy a five-year old receiver...at least, not at that price.

Not when you can get a brand-new one with comparable power and far more and newer features and technology for about the same amount of money. The Pioneer model you speak of is a solid machine, and FWIW, you should be able to find it at least $50 cheaper if you shop around.