I posted a message last night about how tungsten electrodes were hard on regular grinding wheels. I was looking at various expensive tools, diamond bits that did not quite fit anything that I had, etc.
Finally I realized that I already have a diamond grinding tool, a drill doctor (model 750, IIRC). It has a little diamond grinding wheel that is normall yused for sharpening drill bits.
I tried sharpening a tungsten electrode in it and it was completely easy, painless, did not require me to press it hard against the wheel, and took me very little time.
It's nice to know that I do not need to buy anything new.
i