I couldn't find the IRL510 on the net, but I have one:
.subckt IRL510 D G S
.model mosfet NMOS( LEVEL=17 VTO=1.899 RS=0.15519 KP=3.91 RD=0.1943 TC1RD=0.0231 RG=45.199 IS=1e-36 LIMIT(VDS)=(*, 100)
+ CGDMAX=7.40E-10 CGDMIN=1.00E-11 XG2CGD=1.6 XG1CGD=0.1 CBD=6.92E-11 VTCGD=0.2)
.model diode D( IS=2.61e-13 RS=0.0407 TT=1.614e-07)
M1 D G S S mosfet
D1 S D Diode
Cgs G S 2.33E-10
.ends
I doubt there is one for the DEIC515 but the DEIC420 may be better than nothing: