Hello all...I don't post often but do like to read here & there on the forums when I get a chance. I bought a few 13mm tips & measured the very end of the ferrule with calipers & it read 13.15mm. Do I go with the 13mm tips? or do I move up to the 14mm and have the sides trimmed?