They are either Female Torx Bit Socket or Female twelve point Socket.

I have seen both.

http://www.google.com/search?hl=en&q=torx+sockets&btnG=Google+Search






Have a great day.

__________________
ASE Master Mechanic
asemastermechanic@juno.com

Prototype R&D/testing:
Thermal & Aerodynamic System Engineering (TASE) Senior vehicle instrumentation technician.
Noise Vibration and Harshness (NVH).
Dynamometer.
Heat exchanger durability.
HV-A/C Climate Control.
Vehicle build.
Fleet Durability
Technical Quality Auditor.
Automotive Technical Writer

1985 300SD
1983 300D
1984 190D
2003 Volvo V70
2002 Honda Civic

https://www.boldegoist.com/