Apparently (according to Pilbeam) rundelii is a name (sometimes misspelled tundelii) which was in regular use for a while, but was "undescribed" (pseudo-scientific, cultivar-like name) ... corresponding precisely to a plant legitimately described in 1989 as E. setosa v. deminuta, confirmed later by Moran.
Echeveria (Echeveria setosa var. deminuta)
Thank you for reminding me about this older name because it was standard for a while, and now it also appears in the database as an also-sold-as name, so it will work for search.
It would be awesome if you could add a pic to the database, your clump is really nice and that database entry could use a few more properly identified photos. I have not yet weeded out the impostors.
The key features for deminuta (or rundelii if you like that word, it means the same thing) are the small, club-shaped leaves and relative lack of hair (a tuft at the tip and often a few hairs scattered along the margins, but that's it).