My guess is that the regular traders won't see this until about 10am. Pinks never move at 9:30 that much. It'll get picked up.