I am getting a Denon 3801 probably next week (being shipped). Everyone says the Denon remotes suck. Assuming I agree with the general consensus, is a Pronto Remote really worth the money or should I just get a decent $50 universal remote? Also, what are the cheaper models of prontos? I would post this to the remote group but there isn't much traffic there. Thanks in advance.