Thanks for the input! I think I will spring for the 5700! I can get it for $2,084 which is from an authorized dealer and I think this is a reasonable price after searching the net.

I too hate the Denon Remote and have already traded in my Marantz RC2000 MKII for a $125 credit on a Pronto. Not too bad a deal, considering.