No, I covered TSLA at the open--hence no req/haircut shown in the opening pic.
I've never shorted single names in an IRA and obv would not use shares for a synthetic straddle, etc. I don't think it's possible; certainly not unless it's traded as a deep synthetic put, don't know. I trade futs in...