I just did mine this week and early on, before I did a slight trial with a short wrench, it did appear that the Torx socket wanted to slip off. I was able to use a short lever setup to get the belt off. When time came to do the final step in the new belt installation I used a breaker bar and the same drive socket and all went well. I had to remove and replace the old belt a few years back when I rebuilt my power steering pump but decided the belt could be re-used. I bought a new belt a few years ago and just kept it in the trunk When I took a good look at the belt in use, it was clear the new belt needed to be moved from the trunk to the engine, so that happened.
I don't think there is anything special about my Torx socket set, standard Harbor Freight stuff that you can't just not buy as you walk through the store. [I think I needed the set for something else, not sure.]
If you want a photo I will go out and take one. Let me know. Actually I think there are some good photos somewhere in this forum where the various styles of tensioners are discussed. We are lucky in having a simple one.