I had this filled in my folder on the subject, so it must be good.
Quick fix:
Intermediate stud pulled
remove the stud and tap the hole 10x1.25 about 1" deep. install a short bolt with an aluminum sealing ring and don't worry about it until you eventually rebuild it. the hole takes the tap without further drilling, and there's really no damage done where you can't go back to a 8mm stud/washer/nut.