Does anyone know what the box wrench’s (in the trunk with the tire repair kit) intended use is? I can’t find any mention of its use in the manual.