August 1, 2019LeisureThe pinball industry news of July 2019: Two new Stern Pinball titles, Dutch Pinball news, American Pinball, JJP and more