I would choose Marantz. It does HDMI audio processing whereas Pioneer doesn't. I think the SR7001 is in a different league and more expensive than the other two. If you're not a serious audiophile, you'll be satisfied with either sr5001 or 80TXV. BTW, where do you buy the Marantz receiver? At a local store?