what size torx socket

It's not a torx bolt (although it looks like one). It's a 12-point 3/8" socket. I had to buy one especially for this purpose.