Thanks for all of the thoughtful responses. If there is no exhaust leak around the snapped stud is there any reason to worry about it. Keeping in mind that the shop I took it to is one I have a long/good relationship with what would be a good course of action. If there is no possibility of damage to either the head or the header should I just forget about it? Again...thanks.