They do. Big ones take a 3/8" , smaller, a 1/4" square drive.
On a deep screw, you can use a speed wrench or screwdriver handle-type tool with a 1/4" square end.
Edit: Yes , they look like Torx drivers. Torx is by number, number does not equate to size in mm or inches in any way. A #50 is bigger than a #30. Upper ones could be inverted Torx or Hex or anything. Since no longer sealed in factory plastic, can only guess.