5.15mm diameter wrench by TheCleverArtist
Published on January 7, 2019
www.thingiverse.com/thing:3340903
Creative Commons - Attribution