Cue Tip Shaper, Trimmer and Burnisher #3. Radius = .375 = 9.52 MM.
Cue Tip Shaper, Trimmer and Burnisher #5. Radius = .4375 = 11.11 MM.