Back in the day I filed down the tip of a long flathead screwdriver so it fit the Torx screws. Once removed, I replaced them with ordinary Philips screws that were easier to find tools for.

Now I have a proper long Torx driver but they were not nearly as easy to find in the pre-internet days.