Diamond File Edge Polishing Tool for prepping an edge, deburring as the final step in edge sharpening, or detuning，shining your edge.
eBay