I'm pondering getting a stone for sharpening. Currently I sharpen with a 400 grit belt on my craftsman, then use the 600 and 1000 grit stones from my lansky system (without the jig) to polish out the edge, then strop on bare leather. My lansky stones work well, but are tiny. What kind of stone should I be looking for to improve my process? Hard Arkansas? Diamond?