Fuel pump pushrod plug stripped.

Long story short, long day at work. Figured I'd quickly pop the fuel pump pushrod out before taking off my boots and heading in. Stripped the plug. Thinking either weld a nut to it, or maybe try to hammer a metric allen socket into it. Advice, tips?

20200831_224127.jpg