The pull-through's are always nice. The Vendo 56 & 81 are in the Top 10 as you saw. I would never pay 8k for a soda machine, that's just nuts.
My dad had a Vendo 44 that he bought new from the Coke distributor, he paid I think $230 for it in the 50's, forward to 1990, one guy offered him $2,600 and my dad took it. It was in top shape, too.
Coke had older pale blue machines that would distribute coke from Cornelius. You'd put in 10cents (or whatever the price was), select a flavor, it would dispense a cup and fill it from a corny. Those would be awesome to have (for the obvious capability with Corny's!)