WTB: 10mm Allen Wrench for Factory tool Kit

Looking for the 10mm allen wrench with DIN 911 SW KLEIN GERMANY markings for factory spark plug socket.

Thanks

Auto Foreign Services has them for sale