A pinball story told by pinball people.