Which would you pick HK 125, HK 225, or Denon 1603 (all refurbished)? The Denon 1603 is the same price as the HK 125 and the HK 225 is 70 bucks more. Which receiver offers the best bang for the buck? The receiver will be going in a fairly large open living room area with high cathedral ceilings so will the power of the HK 125 be enough (I'm aware that HK underrates their power output)? Please help, planning to order sometime this week.