Those are automatically exercised at expiration.

That's an interesting question. I suppose it's hypothetical in the sense that they now have to look at "what if" those options had been exercised; but unlike a spot trade that someone "would have" done, Robinhood might already have had obligations on its end of the original options trade.

Absolutely. Why wouldn't they be?