Hey, can any one help me identify this wrench? It is a 13/16 box end wrench.The only markings on it are a number 7 and a diamond shape, with a capital R inside the diamond.To me it looks like an old lug wrench, that probably came with a vehicle.I have been searching online and can't find another...