Used they can go for much less than that, sometimes under $1k. At the time I bought mine, I paid the equivalent of $US650.
A9X, I assume that was a used instrument? When was this?
It was darn near the best $650 you ever spent on a bass guitar I'll bet.
There's one on ebay, looks like it go for around a grand.