I bought one yesterday and the bag that contained the wrench and the manual
also contained a thick plastic washer about the same diameter as a dime.
Does anyone know what it is for? The manual doesn't mention it and I can't
find it on the parts diagram.