I've started looking at DIA options, and I noticed that (at least according to Streamer), trades seem to be going on after hours. (Today, for example, up until 17:17:19). The CBOE web site for DIA options says the trading hours go through 15:15 central. Can we really trade them after 4:15?
