I'm getting into the hobby/in the middle of a partial restoration of a DE Jurassic Park, and I've been purchasing some parts for the job. I bought a bunch of balls for the machine, and I noticed that the size of the standard pinball is 1-1/16". Maybe it's a silly question, but I was wondering... What's the reason for that? Why not 1" or 1-1/8"? Furthermore, who (or what manufacturer) decided to standardize the 1-1/16" ball size?