Thank for reply Kevin...
A hand grinder/mill put red pepper flakes in and grind them finer; have seen often in stores a kind of plastic bottle grinder setup, which works fine for a while but then fails if you try to repurpose...
Pepper grinder works but with a lot of coaxing, and some patience - it's not right tool either.