Depends how long you keep a game for and how collectable it becomes in the future.
A BBB with original box and paperwork would sell for more than one without.
Most collectables sell higher with boxes.
But, it's a complete pain when they are pinball sized!!!!