For anyone removing studs I can't recommend this little tool enough. I had 3 rusted in studs. Tried WD40, freeze and release, blow torch, hammer (to shock some rust off), the double nut trick, cutting a flat head bit on the end and using a hammer drill. None of them worked, this little banger got all three off in about 30 mins with very little issues.
HFH and HFHOE done: