If they were Craftsmen Tools, they could get a replacement.................
I took a tour of a major car manufacturer about a year ago. We saw the workers use a variety of tools that the company had designed just for putting a car together. One of them was called a “bone”, it was about 8 inches long and engineered so it wouldn’t leave any marks if it brushed against the car’s paint. That little hunk of high tech plastic cost $200 and they had PLENTY in reserve. An astronaut tool would probably be something like ten grand.
Funny but no tools are replaceable without the old tool in hand. And Craftsman as it was no longer exists.
Will be interesting to see how much their pay is docked...
They were mad that they weren’t given Craftswomen Tools instead.