Yup, watched a few hours of the online auction yesterday before going to the range. There were a few things that commanded some very serious coin. Even the Tokheim 36 ADC pump went for what was record money at $64K. That's twice the norm and sets a new bar for the next guy who goes to sell one.
https://www.mecum.com/lots/RA1016-26...okheim-36-adc/