"I updated the design for even better fit. I uploaded two versions, one with 4,1mm hole which will probably need drilling if your printer prints holes smaller and a 4,5mm one, which should be usable right away, even if your printer makes holes smaller."
I am confused? what do you mean .."if your printer prints holes smaller" ? what holes? did you mean 4.1mm vs your 4,1mm (comma?)