My dad’s welder doesn’t get hot. A welder repair shop told him it is the gun. I’ve searched online for replacements, but none of them have the same pin arrangement. They all have the same pins as what is in the last photo. Even the online owner’s man