Relatedly, there's a new drama out about the history of pinball: https://pinballfilm.com/

It's good!