You might be able to tighten two exhaust manifold nuts against each other to get it out. The stud itself is pretty cheap, as was pointed out in the other thread.