Pinball isn't as random as it seems