In the past I've taken the next size up torx bit and tapped into an allen head that was stripped. If you bottom it out and go slow and steady they come out.
It’s smaller than a T4, that’s the smallest Torx I have and it’s too big. It’s a 1/16th Allen head.