That’s what I thought. I just tightened mine up by hand in anticipation of having to remove it again soon, and I’ve ordered the TORX screwdriver bits.
Thank you, both, for your helpful and timely advice; it’s great to be able to talk to friendly experts, and always a pleasure to learn new skills.