I recently bought some used tools from a widow of a deceased mechanic. Among them was an outsize black socket 32mmW155. I wonder if this is for a special application? I recall hearing that a VW/Porsche has such---any ideas?