So, I'm going to order this gripper tool and see how it goes!
Yep, 4mm. Let us know how you go with the gripper. It's good to get real end-user experience outside of what the retailer is spruiking!