I would wire for the demand of the welder. I have frequently run into the same thing with welders, seems there is no standard type of plug used on welders.

Jimmy

Life is tough, Life is tougher when you are stupid