Watched your exhaust stud removal video. Good show! THere's a guy north of here that has a portable tig welder and will come to your shop for removals. $100 for the first one and $20 or so for each additional. He has had only a few he couldn't extract out of hundreds done. Pretty slick. Drill em only if you have to.