I'm amazed that you've never noticed the colour coding on most bought plugs.
Blue = huge (10mm hole) Brown = big (7mm hole) Red = medium (6mm hole) Yellow = small (5mm hole)
First some own brand ones:
It is true that grey (and white) ones are generally of random size.
Christian.