I didn't make the auction.
Nothing there I was really interested in. The only machine I was really curious about was the Mills Lone Star which apparently did not sell.
Forum for those interested in antique coin operated devices
https://www.coinopcollectorforum.com/
https://www.coinopcollectorforum.com/viewtopic.php?f=6&t=6574