Mounting hole diameter

Anyone know the diameter of the mounting holes on the GPS-RTK-SMA board? I want to design and 3D print a mounting plate for it.

They look like M4 holes but I don’t have a measurement tool with me. The drawing on the website doesn’t indicate the diameter.

Don’t have that particular board but most sparkfun boards have holes that will take a 4/40 sized screw.