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 expiration. I have experience with equity and equity index options (OEX, SPX, SPXW, SPXPM) and some of them stop trading on Thursday, some on Friday, some at...