system
A chat on subreddit /r/wallstreetbets
human
DeGiro-User here. 
  
 Haven't been able to participate in US-stock-options afaik. 
  
 If I go to 'CBOE' there aren't any choices for example...

gpt
Yeah, you have to use the search bar and put the ISIN in there and hope you find what you want. If you're interested only in trading options, you could open a Tastyworks account.