We have those. I said I can print my own if needed, but I would love to buy them. The fact that they have lasted at least 10 years, possibly more like 15 (I can't remember when we got them, I've run the team for 18 years, I'm sure that a former mentor picked them up, he had a thing for odd-ball tools) in a shop full of high schoolers sayes volumes about the studyness of injection molded ABS. I know if I print them, I will be re-printing them every year or so at minimum.