Consider using a 12 point wrench/socket next time. 13mm and 1/2” are completely interchangeable in 12 point tools. It ain’t like you’re torquing a 5/16 or 6mm bolt to thousands of foot pounds of torque, especially on anything to do with a battery. A 11/16 will work quite nicely for a 17mm or vice versa.
Like someone else said, all my high school teachers were saying (before 1976,that is) metric is coming, metric is coming. Well, it sorta did in the 80’s when federally funded highway markers were added for the metric system. It was a last ditch effort by the gubmint in preparation for the olympics in Hotlanta. Then, one day sometime in the 90’s, I noticed all the metric signs were gone.
I’ve been dealing with both systems since I owned a VW Beetle from 1979-2014. Enough practice and the equivalent “close enough” sizes get burned into memory, and serve well enough for things that don’t require much torque. In 1984, Ford was already using a blend of SAE and Metric hardware on their lineup. Pretty sure GM was doing the same, but I have no idea what Chrysler/Plymouth/Dodge was doing. Anything from Chrysler in the 80’s was best avoided, so I did. AMC put a few metric hardware bits on Jeeps as early as 1974. I still remember my stepdad howling about his “Japanese Jeep”. That man HATED anything metric and for good reason. Metric tools were a lot less common and more expensive back then. Thus the resistance to the changes. Never mind the fact that far fewer adults back then could multiply by 1.6 to convert MPH to KPH. I have traveled to Great Britain, Mexico, New Zealand, and many times to Australia and I have zero problems switching back and forth between the two standards. Pisses off the kids and the missus when I do the conversion without my phone.