Hole diameter is 5.1mm to account for over-extrusion. Use a lighter to soften if very tight.
The author hasn't provided the model origin yet.
