Hi Alex
In my model I use S&P500 put options and they are cash settled. In case of a physical delivery of the underlying one would assume instant sake of the inderlying and investment of the proceeds in T-Bills.