I just bought a set of well-used tools off Craig's list for my son. While checking them out, I noticed a virtually new, humungous 32mm socket. I suspect this was a one-use unique item for a particular need on a particular car---any ideas?