Looking for a receiver to power an old Polk 5.1 setup (RM7200). Will be used for mostly music, but also some casual gaming on PS3, and some movies. I was looking at things below $250, and I want to try something other than Onkyo, which I've used several times in the past. I've always wanted to try HK or Denon, so these were the two I narrowed it down to. On paper, they seem comparable and both have the features I would need which is 2-3 HDMI input, an optical input, and 5.1 channels. The HK is $240 on Newegg, Denon is $210 from Crutchfield. I've seen lots of good reviews for the Denon, but can't seem to find much for the HK, so what are the pros/cons of each that I should know about?