I would think the professional/algorithmic traders would have done that the millisecond the news came out. By the time you're hearing about it at lunch, it would be too late.