Patrick,
That’s great! The main spring is strong so no real heat damage. I like the idea of welding a washer to the head of the screw. That will give you the torque to extract it. It’s always better to save and repair an original screw if possible. So much easier.
Be very careful not to get weld...