In the future, Medford, just take a small rule and put it up against the pin.
Pics can be deceiving but I count 12 on the exposed pin and it doesn't look quite an inch.
if you like the shaft, probably the cheapest way to go is by taking it to a repairman and having him work it for you.
That way, not only will you get the desired tip diameter out of it, he can get you the taper that you prefer. If the amount is that great, the reapairman probably won't take it all the way down in one sitting to avoid a possible warp.
If you can't wait, consider a Players HXT shaft. They are very reasonably priced.
If you do that, the 14mm shaft might make a nice break shaft as well.
Nothing quite as sneaky as a Sneaky with a decent shaft on it.