This is a custom version of a standard 10mm wrench.  While not practical for using it as a wrench, it is a quick print to ensure stringing is in check, and your top surfaces are to your liking.