Not sure if it carries over to pinball rooms. . .
But when building a garage or shop Ive learned over the years to come up with a size you think will work. . . then add another 50-100%!
Seems even when you think you have enough space you wish you had just a little more. . .