yeah.. they are time consuming. I use my big wheel to thin, then refinish on the belt grinder and buffer. By hand, they take forever. Better than the diamond, the 220 grit stones work wonders on these kinds of steel.
Jon, if you ever want to do a video again... I'm considering to get a (cheap) wheel which I'll primarily use for thinning. But I have no idea to properly use a wheel for regrinding...