Anyway I checked. This just applies to equity index futures it looks like. It does not apply to equity index options. The trading still stopped at 3:15 PM CST. Oh well that's that.