The manual doesn't give the outside diameter of nuts or bolts. Only the pitch and length.

edit: I don't think there's a formula or anyway to tell the head size based on the info they give. You could have any head size really.