They are torx bit tool size 25, you can buy them at any pepboys or autozone I beleive. I bought a set of them for 20 bucks, used it and took them back, no need to waste 20 bucks
Just make sure you get the right head on the Torx - it should have a notch cut out of the middle of the head. Forget exactly what it's called but I got the whole set of heads for $7 bucks at Autozone.