+1 for me
I think you could probably get away with using the 3mm collet for 3.175mm bits I’m not sure
typically 3mm seems to be one of the more common sizes used for milling bits
a bit worrying it’s gone missing, maybe someone took it out and dropped it some place