That is a nice receiver. How much did that one cost?
Got it for around $200 from Amazon. I think they might be going for more now, though.