“Even in the age of video games, pinball remains one of America’s great pastimes, and its popularity appears to be on the rise.”