Part of the mystery is solved. I had to go over to our vehicle maintenance facility for something, and asked a mechanic if they had external TORX sockets. They did, and their size numbers are not the same as the bits. I tried an E-16 (which is gigantic compared to a T-16 bit) and it seemed at least two sizes too small. Maybe Patriot was on to something with the 25. Not a T-25, but an E-25. So now I just need to know the proper E number and maybe I can find one then.
Roy
Roy