Now that I have a little more experience under my belt its time to get a little better at keeping my tools sharp. Right now when my tools are dull I take a trip to the grinder and touch them up. While in a class taught by David Marks not too long ago he kept touching up his tools with a diamond stone. I was wondering if others do that and what grit do you use?