It was pretty quiet yest. on the Dow mini. Was that a result of the CBOE electronic trading being down for 4 hours? Thanks