The key is to do as little as possible to restore the edge back to its original condition. As described, do a few strokes on a 12k, if that's what you have, and then strop and shave. If it's not...