Sorry, but you are wrong. The 85 put can not be worth more than $85 at expirations. If you sell a naked call, there is no limit to how much you can lose. So, margin requirements are different in these types of accounts. You can't have a situation where you have a margin call in an IRA. Selling the put will remove enough buying power to cover max loss. You can't short the stock or naked calls, because potential losses are unlimited.
Thanks, I see.