I am looking to beef-up my ageing AVR100 with the addition of a power amp. The P85 and P90 look like the obvious choices. However, the price of these NEW puts me off. I am looking for secondhand P85/3 amps but they look in short supply - perhaps that's the sign of a good product What other choices of power amp are worth considering? Should I bite the bullet and invest in a new AV receiver?