If it's one or two, I'd just remove the rock and chip the little buggers off. I've tried all kinds of stuff, from Joe's Juice to epoxying over them and the only sure fire thing I've found is physical removal. If you've got an infestation, you have my sympathies
