Depending on what you can and can't see in the pics I wouldn't be surprised to see it go for the top end of that or more ..... very few 'old-timers' capable of best part of a ton and keeping up with modern traffic that don't bring silly big money these days.
Paid £6k for mine (running and driving but with plenty of body 'challenges' 🙂) .... not done an exhaustive reckoning, but reckon the resto was another £4k on top ..... at £10k it ended up very cheap for a car I knew had been thoroughly gone through from top to bottom but relied on me being able to bypass virtually all of the labour costs) .... that auction car will make someone a really good project.
K