I just had this issue where I replaced an IGBT and the new one failed the same day. Is there a procedure for how to change them? I did not use new heat sink compound or a torque wrench. I don't work for tke, so I don't have access to their internal documents.