I can purchase the HK for about $380 - $400, and the Denon for around $600.
Seems many of the HK's bugs were worked out in recent updates. The Denon appears to get high marks all around as well.
Just need help in deciding which one to go with. Not sure the Denon is really worth $200 more. Please correct me if I'm wrong.
The HK
The Denon