This two sided tool, for cutting and shaping, is a great cue tip first aid combo. This tool will work effectively on tips up to 13mm. The first side will cut that tip even to the ferrule, and then the other side you can use for finishing the tip and for mushrooming
