You know how I feel about the Yamaha e403 - cross it off your list.

I have a friend who has a PSR 550 and it is actually pretty good. Similar but a few less features than the PSR2000.

EXR5s - no experience, but I did play one when they first came out. The Roland sounds are great. Can't speak for arranger features.

The VA series was very powerful, but not well circulated. Whenever you buy the lowest model in a series, you miss out on some features that are true selling points of the more expensive models. Compare features to the VA-5 and see what you don't get, then decide. Especially check the soundset; if they match up,this could be a good choice.

Casio 3300-3800. Surprisingly good sounds and many features other brands charge more for. If you can get past the Casio moniker there's a lot of bang for the buck. To my ears the sounds are good, but different than other manufacturers. Many sounds seem to have lots of processing FX.