I can't answer that. If you contact the OCC, I would think they could answer. I have found them to be a great resource and they will respond promptly.Ok, thank you for this important information.
Do you happen to know whether this is the case for all OTC tickers with options?
Ie. are there also OTC tickers with options that can be traded by everyone?
OCC - Contact and Feedback (theocc.com)