Thanks Fechter - a pair of these run 400 amp welder. If I go on the welding forums, I'd get responses like take it to a shop or buy parts from the dealer. I can get the IGBT's for 25 USD a piece - if I go to the mfg, I'm looking at closer to 400 for a set.
Cheers,