Wondering if another manufacturer made Allen branded ratcheting wrenches? If so who was it and any guesses at COO? Thanks!