Hey there... I worked in a Dave & Busters for about 3 weeks once, no pinball repair but plenty of those ticket games were always falling apart. I can't even imagine repairing real pinball machines... Anyway, I recommend you wait until the fall to visit the pinball museum, they have an entire 3rd floor with god knows what on it but apparently the A/C unit is broken up there and they aren't letting one go to the 3rd floor at all for health reasons. By the fall it should be cool enough outside that they'll open it up, I hope. Plenty of good stuff on the 2nd floor though, if you can't wait.