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.
tom