Luckily I did not have to cut off the stinger and drill it out and weld on a larger ID stinger, there was just enough material for me to get the ID to approx 7mm which is what I was going to change it to anyway. Here is a picture of the ID of the stinger which is showing right bout 9/32" which if you multiply to 25.5 equals just over 7mm. I used a 17/64 drill bit and kept pushing on the sides alittle to open it up even more. So the pipe is ready to go on. That is basically all I got accomplished today because of HW and busy driving my maxx around.
BTW, the ID of the stinger started out around 4-4.5mm!