I have no idea how you managed to overtorque a torx honestly. Especially since you say alan key doesn’t do that. Alan keys are okay-ish when used on M5 and more. But stripping smaller screws than that is so common it’s almost useless. Also good alan keys have a small ball bearing on them on the ball side which lets you hold the screw on it or “free spin” as you call it.