You guys have any comments on these 3 receivers? I think they are all very close in price, about 850-900 online. I hear the Denon has problems with it's video upsampling. I've heard nothing bad about the other two so far.