It's certainly a high(er) asking price, but not bad compared to others I've seen. The '80 small body guitar at Rudy's in NYC which was priced at $10,999 last I checked, also had a good degree of checking.
As is stated in the subject, it is a very lovely guitar!
I'm always tempted by those small bodies, the standard point is just a beast weight wise for me.