I was at Disney in July. Disney Quest has the best selection, but it is a bit of a cost to get in -- $45 or so. If you make a day of it though, what the heck. It's got more than pinball there to explore, but it does have about 9 machines. Most were playing decent when I was there, so it seems that, depending on the time you go, the machines could be anywhere from pretty decent to not very well kept up.