List of all listed US tickers that have options

To get a list of all listed US tickers with options, I was using the CBOE download page
( https://www.cboe.com/us/options/symboldir/equity_index_options/ ),
but recently made the surprizing experience that from December to January suddenly more than 800 tickers are missing in the list!

I informed their support, but they say they now list only those tickers that are traded at CBOE,
ie. excluding all tickers that are traded at other US exchanges.

Where else can one find a list of all listed US tickers that have options?

 

We have that data.

 

OCC provide that:
https://www.theocc.com/market-data/...and-trading-data/directory-of-listed-products

 

Thanks, this looks promising, am now trying to find the data I need.