Off the top of my head, a pinball with a topper can be up to about 7' high, make sure there is enough height clearance for your machine.
Pins are big, heavy, and awkward. When renovating don't do anything tricky to yourself like design a stairwell with a wall and a turn at the bottom that you...