I received the IGBT, applied cooling paste to the heatsink, carefully screwed the IGBT in place and soldered the pins to the PCB.

Then, just to be sure, since there seemed to be some sort of film over the solder side of the PCB, I applied clear nail polish over the solder, to prevent arcing (moisture, high voltages).