I would watch for the Denon X4000 getting serious sale soon with the X4001 in stores. I think $650 shipped on the X4000 brand new would be the target.
Amazon and Best Buy (recently) have been known to offer 50% or more off!
For example, some members here recently bought the Denon 4520 for $1K!
A while back, I bought the Denon 3312 for 50% off on Amazon as well.
The X4000 has Audyssey XT32 + dual Subwoofer EQ, among other great features. Be vigilant on the sale daily.