LTSpice model for a SiC MOSFET

I'm looking at a problem where somebody wants to step down a 1kV low current source to 3.3V.
The Baxandall class-D oscillator could do it, but it needs a pair 1.7kV MOSFETs for the job. The Infineon SiC IMH170R450M1 would do it - though it's a much higher current part (10A) than the job needs (about 1mA).
I've dived into the Infineon rabbit-hole which promises LTSpice models, but wasn't able to find one.
Does anybody know of a similar - ideally cheaper and smaller - part for which there is an LTSpice model?
--
Bill Sloman, Sydney