PRT-file can be edited with the free Alibre Design express or 30 the full day trial. (e.g. to export imperial sizes)
Change the parameter "SIZE" to get other sizes. All other values are derived from it.
M4 may already be too much to ask for in a 3d printer but the larger
ones should perform their function for light to medium duty.