I was there about three weeks ago, there were two TOTANs on display.
Both are not collectors quality, and I believe priced accordingly, as they fetch $7K for a good one these days.
Both had playfield wear, typical container pins, starting at $4K seemd to be OK I reckon.
There was a mint TZ zone there that went for 5K shopped which I thought was good value.
Cheers Angelo