Thats fine then, if thats the case it should be up to the shop super to realize that the most used socket they need is MIA and get another one. Or put up a sign at the counter “We are currently unable to change tires for 99% of all cars in production because we don’t have a 17MM socket to utilize, please go elsewhere dont waste 1.5 hrs of your time here.”
Thats like me saying I cant fix your server because NYS didn’t give me a keyboard. :rofl