I would be surprised if he used a torque wrench or an air ratchet on the header bolts. That would be a pretty magical feat. There's a few on the top that are pretty easy to reach, but the bottom rear two on both sides are a huge pita to even get a regular combination wrench onto.
The worst one on the whole thing is the center bottom bolt on the driver's side. You really want a good 14mm gearwrench sort of thing for that. You'll just barely be able to get it in there, and barely be able to reach it with your fingertips, and then you get to tighten it 1 click at a time. Oh yeah, and then you have to try to torque that bolt down hard somehow, with only a few fingers able to reach the barely-moving wrench. We (I had a couple friends helping) probably spent over an hour just on tightening that one damn bolt (we didn't have a gearwrench, so we used a plain 12-pt box-end wrench. Turn it one 'point', and then readjust again....
)