They are hex head for sure, not Torkx nor Phillips head. The 'socket' body has a very thin sidewall to be able to slip into the hole in the TFI. The "Help" section as some parts stores carry the wrench, with a built-in **** style handle. If you do replace the TFI, make sure to use the heat sink compound, and be careful when you remove and install to move the TFI vertically from the bowl of the distributor. There are connections on the top of the TFI that poke up into a connector on the bottom of the bowl, and the connections can get real wobbly if the internal pickup has gotten rubbery due to age or oil or heat... You CAN get the connectors to work without replacing the internal pickup if you are very careful.
I tried using the CTA tool. It easily got the front screw out without moving the distributor. However, I had to rotate the distributor to reach the rear screw. While the tool reached it, there was not enough room between the distributor and the coolant temp sensor housing to make it work. The PO had already marked the distributor position.
The OEM tool is less expensive, and would have worked just as well.