Finger Grip Tool

The Finger Grip Tool is sharpened by rubbing a diamond file against the top of the tool.

This is shown in the picture to the right as the area marked red.