I wasn't even aware some places had prohibited pinball until I saw "Pinball: The Man Who Saved the Game". Great movie.