The allen wrench / fitting into the twelve sided torx socket, as a twelve sided socket wrench works perfectly to drive a six sided nut.

Click to expand...

Huh. I can see how that would work -- and that's actually a useful tip in itself that will be filed away for future reference. A smaller allen would fit inside the cut-out in the top of a Torx.