Actually I may have misspoke, I wasn't trying to be brand specific. Throughout the market, especially if you jump brands I believe there is a model in every price range escalated by a few hundred dollars each jump.
I don't think anyone mentioned 76 keys in this thread.
Which of the models he asked about have you had experience with and what is your advice to XpHunTeR.

anyhow back to the question:
Only you can decide which way to go but if you want an arranger and the ability to load styles I would consider the advice of TedS.

I could have spent a lot more money and got a top of the line model but I decided for my needs and wants (home use) the 700 would keep me satisfied for years to come and I wouldn't feel guilty about having a lot of money tied up in something that doesn't get the use it deserves.

good luck in your search let us know how you make out.