5/16 wrenching header bolts

I think a 12 point 5/16 box end wrench will fit just fine. It will also have more places to grab since it is 12 point. I will let you guys know how it works out.