Has anybody ever used those pens on their minis? If they do work on minis then it should save a lot of time for those little black or gold dots.