That resonates with my experience.
Once you get interested in dressing up succulents, almost inevitably you start paying much more attention to rock. I have scoured all the places I can think of looking for just the right gravel to use for top dressing. I also made a batch of gravel from native rock up the hill. As a result I have a collection of maybe 20 or more different kinds, all washed and ready to use.
The irony is that I use one type of rock for top dressing on over 95% of my succulents (chunky pumice).
That's because they're in the middle of a long process of growing up and being repotted a few times before they reach final size. But it sure is nice to have choices for something special. This is the rock I picked up a week ago... very nice porous black lava rock with just the right amount of glassy glint in the sun.