A pinball story told by pinball people. ...