In our current house we have a dedicated basement game room that hosts 9 pinballs comfortably. My wife and I are planning to move in the next few years now that our kids are in college and likely won't have space for this collection in the new location (based on our current plan/goals). Does anyone have advice on how to sell these 9 pinballs as a collection when the time comes around? I see many single pinball sales listed here and elsewhere, but selling a collection seems a little more complicated. Pinballs in question are all first owner HUO: TWD LE, GOTG LE, SW Prem, DP LE (#2!), IMDN LE, GB Prem, AFMre LE, MBre LE & MMre standard. Selling them individually seems like the best way to get the maximum resale value, but I would prefer the convenience of selling all at once and giving the buyer a good "package deal" price. Anyhow, I'm sure this has come up before, so thanks a ton for any feedback or advice y'all can share!