Time for a market 10:30 (1:30 EST) pump?