I may convince myself I need to upgrade some of my electronics, so....

having a look at some of the sales on the newer receivers over the holidays and have come across a Denon X4000 for $898 CA(possibly less if another store will beat their price). Anyone own this receiver or heard any good/bad about it? my experience with Denon has been very good, except of course for their manuals. I haven't seen the Onkyo 929 on any kind of comparable deal, but that might be another consideration...others?
I have read that Onkyo had some hdmi problems over the last couple of years. Have these issues been resolved with the newer models?
A person convinced against their will is of the same opinion still.