Here you find my version of an 7mm square socket wrench. I created it after i lost the old one. 

The wrench is small and you can print it very easily.

I hope it helps you :)