After having spent some time on Google I still can't figure out what time exactly do ES (E-Mini S&P 500) futures options stop trading at...
Separate names with a comma.