Hi david,
I have posted your question on another forum: http://e2e.ti.com/support/power_management/isolated_controllers/f/188/t/318070.aspx. They should be able to provide you with an alternative if it exists.
Again even though we may have alternatives, it may or may not be supported with a Spice model. I will check once they suggest on an alternative.
Thanks,