Diamond files for removing hardening and for deflashing and polishing the edges after filing. Produces a top-class finish.
Diamond file