VEX VRC wrench to HCU (m4) nut adapter V1

General Info
This adapter allows you to adapt the larger side of the wrench provided by the VEX robotics competition down to M4 profile nuts, allowing you to use HCU tech nuts. https://hcu-tech.square.site/product/hcu-nylocks/HJESOE6J2O7F6Z3XUKFA65Z3?cp=true&sa=true&sbp=false&q=false
These are an affordable way to use the nylocks if you don't have 7mm spanners, but obviously, because they are printed, they will not be as strong compared to purpose-made wrenches.

The toleranced file should slide onto most wrenches more easily, but may also be looser. If it is loose on the wrench, you can print the non-toleranced one.

The Low Profile one doesn't have one of the faces to hold the adapter onto the wrench, which allows it to be printed supportless, and makes it easier to remove and put on. I personally don't use this one.

Print Settings 
It will require supports, which I usually set with a .225 mm support top layer/ top Z distance offset 

Thank you to "ak_is_a_robot" on Discord for providing feedback on the design.