I have the XT32 feature in my Denon X3300W, and only spent around $700 a few years ago. I purchased the receiver near the end of the model year after prices had dropped. If you look for last year's models, you can probably find something with the better version near your price range.
As to...