I don’t know. Seems to me that those studs were an accident waiting to happen. In 60 years of wrenching, I have never seen studs break like this. I’ve had them over torqued to the point of having to break off the nut, but breaking like that? I’m thinking the man (or committee) upstairs was looking out for you.