what size torx socket

My bad — 12-point. The "point" is that it's a standard socket, not a specialty tool or torx socket, and an 8-point socket won't work.