These prices are all on the high end. I bet it's a combination of:
(1) People have pinball money to burn but few NIB in 2021 means extra funds to use up.
(2) From a museum, bidders are expecting top quality per machine.
(3) The publicity for this auction was off the charts. Everyone is watching this thing, and it only takes two people to want the same pin to make prices go up.