Hello and welcome,
That sounds about right. Most that i have seen in that condition sell for around $9000.
It just makes me sick to think about all of those i used to own and sold back in the late 70's for 500 bucks :-(
If you have further questions feel free to reply, if not please click on accept so i receive credit for working with you today. You can always reply back right here after you accept for any follow up questions, and there is no extra charge.