Just realized amidst a box of tool I got recently, there is something a bit unusual, considering where I live. It looks like a stamped, doe wrench, in bare-War finish. Is stamped 5/16 X 3/8, has RAF on one side, and on the opposite is, WVD, on the bottom of the jaw openings it looks to be a small royal crown. WWII British RAF wrench?