SPICE models for the optocouplers are not available individually, but they can be accurately modeled by using a current dependent current source in series with a high voltage diode. This will approximate the optocoupler function.