I agree. I think the Ken Onion Work Sharp will do a decent working edge, but not a razor edge. I use mine from time to time, but when I really want to do some serious work on my blades, I use a 30" Belt Sander that I bought from Harbour Freight for ~ $30. I purchased special sharpening belts for it from Lee Valley Tools that go from 40 down to 15 microns. I also bought a leather stropping belt to use with it. I combine using my 30" Belt Sander with a standard bench strop, black and green honing compounds, and also a smaller stropping kit that I bought from Knives Ship Free. I've got a soft surface mouse pad, a leather block, and sections of sand paper that go from 400 to 2000 grit. The process I use creates a convex edge on my blades...but that is what I prefer anyway. Your Barkies have a full convex grind, too. One other thing that I recently learned about is using a strip of denim for stropping. I learned of this from my friend and knife maker Alex Wander of Wander Tactical. He showed me how to do it during an evening at some recent tracking training we were conducting. He said..."Once you see what kind of edge bluejeans produce, you'll never go back." I must agree....for final stropping and getting that "hair-popping edge" we love to have on some blades, denim sure does work nicely. You probably also have to take into account that the steel on that HK folder is going to be tougher to sharpen, because it's stainless.
Anyway....hope these suggestions help you out a bit.