I have the CX-A5000 and could not be happier. There are a couple of threads on the unit and I along with others have posted our reviews regarding the units. I would also look at the Marantz 8801 as you should be able to find one within your budget if you search on line for the best price. I am of the opinion that they are all good units but it will boil down to what type of features your looking for and what type of sound processing algorithm you are looking for and like ie. audysee x32 or YPAO. One thing the CX-A5000 does that was the deal breaker for me is it can allow you to switch HDMI inputs while in stand by mode if you want to just watch tv without having to turn the unit on. I use an HTPC with mine along with an Xbox 360 and there are times I don't want to turn everything on just to browse the internet or play an online game using my wireless headset. The new version of YPAO also per other reviewers seems to compare favorably to Audysee X32. The Yamaha units also have a very nice I-device app for controlling the units and a hidden contractor web menu that has all the setup perimeters so you can setup the unit very easily and quickly.
best of luck in your endeavors and I highly suggest if possible you personally audition whichever unit your interested in as your ears will provide your best judgment on what sounds good to you:)
Yamaha CX-A5000, ATI AT 2007 Amp (7X200W), ATI AT 2004 Amp (4X200W)
Klipsch RF 63's - Main, RB 61's - Front heights, RC-62 - Center, RS-62's - Surround, RS-52's - Rear Surround
2 Rythmik DS-1510 DIY Subwoofers (With PEQ600XLR3 Amp) each connected with Antimode 8033S-II