Morris,
I only see the BIN of $1500...
Seems fair to me, with that kind of history and verification behind it. Definately a collectors item, although I've seen the same model in slightly nicer shape go for about 1k. That didn't have any historical/sentimental value in the auction.
It'll be interesting to see what it goes for!
P.s--Did you see that last Olds Super Recording? It only went for $1430, I think. I miss the days of $5,100 Super Recordings! A great deal for the winner, though!