Pinball (Extended Version)