Interesting theory.
I wanted to use those new types specifically as moons, and "any size" dosen't work that way
So, yes, I was specifying them explicitly.
If you're right, then I could use the tiny label for the micro moons, and space out the larger names, since it would be OK to randomly pick them...