Look for embossing tools. They come with different size ball-tips.
I was lucky enough to find a set in one of those discount bookshops, in their hobby section, for a couple of euros.
The set contains 2 tools with #size tips on each end, so actualy 4# tips.
Can't measure 'em up as I'm at work, but I'd guess 1,2,3 & 4mm tips.