...I believe they were Hex Heads.
You can't deliver much torque with a 'Allen' Head tool. In My View. They work but have a Smaller 'Contact' Area.
The Smart choice is A 12 Point Bolt Head, gives you more Angles to wrench on, around the Tubes. If the Box End Wrench is Too Close to the Header tube for clearance, Grind it Thinner. I found there is No room for a Rachet Handle and Socket! Of course, with a Hex Head you can use a Open end wrench, but it will try to Slip!
Depends on YOUR Header Tubes.