Hello pipe folks, I ended up with a decent pipe with a broken stem. I am using a caliper to measure the the two diameters of interest. 7.7mm for the bit that goes in the shank and 14.7mm for the larger piece that connects to the shank. What replacement would fit in there?