I've never seen one, but in theory, couldn't you just get the designs for the 3mm and drill out the hole to well, any required diameter? From what I remember from the plastruder I had, that seems a pretty easy option.
The maker gear plastruder has an 8mm shaft I believe that's why I was asking. I could use a smaller size and drill it out. Any idea where I can find one?