https://pinside.com/pinball/forum/topic/aquarius-rubber-ring-sizes