I agree.
I see them for sale locally supposedly in great condition for around $6,500-7,500.
They don't seem to move very fast when they are priced more than that. At the $6,500 level they seem to move really quick though.
Check the closed auctions on ebay to see what they are actually selling for.
Good luck.
I have always liked old shovels and the last of them were the best of them in many ways.