I previously had a Denon AVR-X4200W and, with a 7.1.2 system, I needed an external amp to power it all so I purchased the Onkyo M-5010 to power the overhead speakers. I've since upgraded to the Marantz SR6012 with enough power to process all 9 speaker channels. I'm not sure what the SR6012...