The straw topper hole is 8.5mm. It is meant to sit directly on the cup and is not snug on the straw.
I don't have an AMS so I switch out the colors manually.
If you are interested in selling this print on one of your platforms, consider joining My Club to get the full commercial license.
The author marked this model as their own original creation.