3D printers do not seem to print things the same. The part has a 10mm hole, but hobby style 3D printers seem to consistently print holes smaller.
I have printed the same parts on a professional level Dimension machine and the holes are only slightly under-size. But this is a diameter you want tight, so Reaming it up to size will make for a nice fit (reaming would be better than drilling, if you can). I might upload a version with larger holes, but since each printer may print it differently, I am not sure if that will work. I will probably just put up a note about the hole size.
I am still trying to figure out why the hobby machines consistently produce tighter holes, and how to fix that. Some claim it is an STL faceting error, but that is not the case in this instance.