I need a hex/ Allen wrench commercial door key to go onto a key chain. It is 5/32" or 4mm and used to lock a commercial door that is pushed to open. I do not know what they are specifically called or where to find one.