The Straw on our 30oz / 850ml Stanley cup has a diameter of 9,5mm.
The model fights perfectly to our straw.
I have printed mine in TPU.
Let me know if you have problems or wishes.
The author marked this model as their own original creation.