The IGBT you linked to is TO220 package, but the original is TO247 so you should look for that instead. Also the voltage rating (surprisingly) is 1200V, so I would get the same unless replacing all of them. I would replace both in the same 'leg' on the inverter - so 2 out of 6, unless more seem to be fried.