When you get your tips done by a cuemaker, does the diameter slightly decrease? I see some cues for sale at 12.6mm or 12.4mm etc, and was wondering how did it get there. Was it ordered like that or did the owner "sand" it? Any info is appreciated, thanks