The Pinball Arcade, an app that has been digitizing real-life pinball machines from past decades, is losing the licenses to Bally and Williams machines, which means some of the best tables ever made ...