Mine are just Security Torx. Any hardware store will have the tools, either as a set of bits (that go into a screwdriver with exchangeable bits), or actual individual screwdrivers.
Not exactly sure what size, but they are usually sold in a set anyway.
Just confirm they look like this. If they do not have the pin in the middle, then they are just normal Torx (non security)
Normal Torx (non security)
Security Torx