In bad need of ngspice/ltspice models

Google is your friend:
So google IGBT spice model
and you will find for example some Fuji models.

Have a look at the circuits in Simulation examples for KiCad/Eeschema/ngspice (and a list updated to KiCad 8 in https://forum.kicad.info/t/more-simulation-examples-for-kicad-eeschema-ngspice/45546.) The circuit in FullBridge.7z contains a 650 V half-bridge high speed power MOSFET and IGBT gate driver.