I heard a guy at a swap meet say that he was able to take some small screws (10/32?) and tack weld them onto the spot where the stud broke off. If you are a patient person, it might work!