Another "trick" is to put a fine green wheen on one side and a
fine white wheel on the other side. Use a belt sander with the
zarconium oxide belt [blue abrasive] to rough out your HSS tools
and the fine rocks to polish. Most likely you will only be
touching up any carbide so the fine wheel will be adequate for
that.

Most any of the inexpensive 4X36 belt sanders are adequate. Even
better if it comes with a disk. Get 600 or 1200 grit disks from
the automotive paint section and polish your tools to a high
gloss.

Uncle George