Torx socket size

[nhmort]

Does anybody know exactly what size torx socket is required for the cylinder head bolts on a 2000 GTX Di?

Thanks, nhmort

 

[nhmort]

Found it in the manual.

E12