Seems high to me, but I've received 2 unsolicited offers for my 77 Series 1 short scale - both over $6k (declined them).
I'd never pay $5k, but then I wouldn't sell mine for that either!
Short scales tend to fetch more, simply because they come up less often. I know a mint mid-80s Series 2 short scale went used last year for $7500.