Anyone know if NYMEX options are trading, or will be trading during the after-hours session? ICE? I know side by side trading will occur during open-outcry hours, but can't seem to find anything about options trading during after-hours. I know the futures are traded on Access during after-hours, but the options were discontinued many years ago. The NYMEX website is scarce with this info. Any information is appreciated. Thanks.