$3.5k is closer to the mark than $13.5k... I'd be very surprised if anyone would actually pay more than $5k for it, and wouldn't be surprised if there were no takers even at $4k...
There's still people paying good money for the right bikes - but there's a lot less of them and they are demanding really good bikes, not just pretty good ones like this.