I got the Denon 3801 on Ebay for around $425 with shipping inc. remote & manual in excellent condition. I think if you're going to get a Denon on Ebay you can do better then the model you named with your budget level.