Best way to sharpen the old-style stock teeth (not talking about vermeer's new yellowjacket system) is to throw them away when dull and get your machine set up with greenteeth or sandvik teeth - something that doesn't require the removal of the pocket just to get a new cutting edge!
I'm not joking. Working with the old-style stock teeth is not worth the effort unless you have lots of down time and nothing else to do but wrench on seized pocket bolts for a couple of hours. I switched to greenteeth on my 252 three years ago and the $350 investment was very much worth it.
If you insist upon staying with the stock teeth and are grinding the carbides with a greenwheel, make sure you use a good mask so you don't destroy your lungs. That's the only advice I have regarding sharpening.