Last 4 Ever pool cue tip tool dime  shape. Manufactured from bar stock Aluminum this tool had both a Dime Radius and a Nickel Radius plus the Mushroom repair edge and Tip Burnisher Edge featured on the Original Tool.  Tool is a nice fit in your case compact size measuring 1" x 1/2" x 2 3/4".
SHAPER- use the top of the tool radius abrasive to initially shape or re-shape tip to perfect sized radius. Â Slowly rotate tip and stroke the length of the tool across the top of the tip until uniform radius is achieved.
MUSHROOM REPAIR - use the abrasive side of the tool and roll your shaft on flat surface and stroke tool across mushroomed area of tip while rolling shaft until tip is no longer mushroomed and is uniformly round.
TIP BURNISHING - use the leather side of the tool and roll your shaft on flat surface while rapidly stroking the leather across the sides of the tip in order to seal and harden (burnish) the sides of the tip. Â In addition to improving the tip 's appearance this strengthens the sides of the tip and will reduce mushrooming.