head bolt size for 84 d50

what size allen wrench do these take.My 84 finally popped the head gasket and now it is time to change it.My guess is somewhere between a 10 and a 13 mm allen wrench.

For those who need to know it is a 10mm allen