A while ago I broke my stone and the knife is up for a sharpen. I don’t mind stone sharpening but it is tedious and I was wondering if any of those things they sell in the supermarkets or telemarketing where you push it in or out are any good or just replicate what you do with a steel, which I also do so no need to repeat it. In fact part of the reason I am writing is because the knife is getting past where the steel can restore it.