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 sides an acute angle. I have never seen a stone used dry like in the vid. Water or oil stones work best with lubrication. Keeps the pores clean and cuts better.