Tube dia of tip tops are measured in MM so you will either need a tip top gauge which you can get from any rod building supply website, or just a pair of calipers or micrometer if you have one on hand. Measure the tip and see what MM is comes out to and that will be the tube size tip top that you will need to get for it.

Steve