Sounds like Alan only recommends HK and Denon receivers if you're pushing the 80s. How come the Denon puts out so many more watts per channel than the HK in the same price range?