you had every tool to do the job...surprise!!

Anybody know what size of socket is needed to undo the head bolts on a 4.0?
They appear to be of the Torx variety. None of my 6 and 12 pointers will bite it hard enough.
Any ideas?
Please and Thank you

Mike