I walked by the other day and on a whim stopped in and got a pocket knife sharpened. The guys in the shop were workbench types, and they did really nice job. The 3.5 inch blade was sharper than new (and it is a Benchmade knife, so that's saying something) for 3 bucks and change. IMHO they did a MUCH better job than any kitchen or hardware store I've used for sharpening.
Anyway nice, regular guys doing craftsman quality work. I'm bringing them all my kitchen knives I've ground beyond the bevel next.