Diamond Tip Etching Pen?

Many years ago i had a diamond tipped etching pen for drawing on glass. I'm hoping someone who has experience with them can point me in the right direction for a new one. Any links to online sources for a good quality etching pen?