Hitman, yeah, they are the 12mm,12-point torx type.
Do not even try to use a 6-point torx!!!!
Pep boys sells a set that has the correct size.
But, as stated above, those head bolts are on REALLY tight if they are original. So, the cheapie Chinese tool might fail.
Here's a tip; when you are loosening them, take a strong pull on the wrench, then have a buddy tap the top of the breakover bar with a large hammer.
They are screwed into the iron block, so you won't hurt anything, and the tap helps break them loose. Kinda like a Vessel hammer-impact driver we used on motorcycle case bolts.
When re-installing the bolts, be sure to check and oil the washers under the bolts (new bolts have washers built-in). If not, they will gall when you pull them down (personal experience).

DG