I hear that there is a list, I haven't been able to find anything though. I know from my short time browsing the forum that the Denon 3808 is the receiver of choice, is there anything else?