I notice that trading hours are supposed to be: 00:20 - 16:15 (ET) 16:45 - 21:15 (ET) 21:30 - 23:00 (ET) Where do you trade it after 2:30 pm eastern time? Thanks.