Originally Posted by joejack951

You guys are overcomplicating this. All he needs to do is to drill the head off the bolt. The bolt is likely a 4 or 5mm diameter so use a 1/8" or 5/32" which will be just large enough to cut through the minor diameter of the bolt. Once you have made it through the head of the bolt, the head will pop off and the remaining stud should be easily removed by hand or with needle nose pliers. Worst case, if you cannot grip the remaining stud, you can use a screw extractor. Because the stud is not rusted in place, there is very little chance of breaking a screw extractor.