system
A chat on subreddit /r/wallstreetbets
human
Yeah I'm not gonna pretend as if I have any idea how that will shake out for RH users. I don't think they really know, either, based on the extremely shaky responses I've been seeing from their service reps. 
  
 edit: you *should* still be able to sell the puts for close to full value if it's delisted. The fact that it's OTC/grey market should only matter if you're trying to exercise or open a short position.

gpt
I agree if it goes to grey market should still be able to sell Puts.  
  
 Maybe not for full value, but I'm sure their are institutions that would be happy to buy them for $1 and deal with exercising on grey market.