Like was mentioned, unless a grinder is needed, a file and oil stone should do the job. You might get a coarse stone to remove the file marks, and a finer stone to more polish the edge. If you sharpen pretty often, you may no longer much need the file. Try not to round the faces, keep the...