I don't know much about the 9525, other than that it has been replaced with the 9527 (Pixel+ with Dolby Surround). The 9607 is an even higher spec model (the same but with Dolby Digital instead). The 9527 is a good choice for Pixel+ if you have separates for audio.
I must say that $2740 does seem very expensive. In the UK you can get the 9607 for as low as £1450 ($2175). If shipping and import tax isn't to high you could get one from here.