[PurelyApplied]

They made a drama comedy faux-documentary about it a few years ago titled _Pinball: The Man Who Saved The Game_. It's cute, regardless of your investment into pinball as a whole.