AVR 7200 is a beast in a good way, real power, ONKs 801 is not a lot of musical box, so after listenning to above 2
I ended up bying Pioneer 2012 ( which IS PE 45TX ) for $600 shipped from bigbangelectronics.

Never felt that I made wrong choice, PE is as much powerful as 7200, but have way more dynamics ( not speakeing of options ) lacking only triple bass crossovers of 7200.