An image from Pinball: The Man Who Saved the Game, one of the productions that also features David Butler.