Help on a vintage Westinghouse welder