i was lucky, when mine snapped, i was taking the head off anyway and getting it serviced, so i got mine replaced then
and again i went all new studs and nuts when putting the new one, but exhaust guy replaced them for me..
there is like $40 worth of studs in there, so $120 for that prick of a job is pretty good.