The new 8.2 goes for about $1000 street - the 8.0 is just as good - same sounds. $400 might be a bit low, but I'm sure you can get it for less than 6 bills. The feel is great, and if you can find the Vintage Keys or Vintage Synths expansion cards, they rock!
Daf (owns an 8.1, played an 8.0 at...