Captain's Auctions have got the lucrative sell off gig of the former Banning: Museum of Pinball, over the course of two weekends in September. First batch of games have been listed: https://bid.captainsauctionwarehouse.com/m/view-auctions/catalog/id/80?page=1
forums.arcade-museum.com