hey guys, i am in the process of replacing my head gasket but i don't know what size allen wrench i need to take off the giant bolt in the center of the head. i am trying to avoid going out and buying a bunch of tools i probably will never use or multiple trips to the store. thanks in advance.