That's what the folks at Morad said - just use a bit and a wrench instead of the Torx head. They said it takes them 15, probably would take me 30. I can live with that, especially if it fixes the problem.