I recommend replacing them with the short bolts that should come as part of your header kit, if you're buying the headers new.

A stud would work fine too. But the ends are easy to reach and tighten/loosen as needed. No need to do a stud just for better clamping on the ends, in my opinion.

-ftyler