There’s also the recent film, “ Pinball: The Man Who Saved the Game (2022)”, which is a fun watch.