Have been curious about this for a while. When researching my first or second machine somewhere around 2012-2013, I used craigslist and ebay. Had no idea about pinside then. On eBay, there was an entire warehouse of 250 pinball machines for sale on the east coast. All genres new and old, broken and 100% working were represented in the ad. Auction price was, I think, $250,000 (could have been $200k?). Always wondered what happened with that warehouse and all those machines?