Can someone comment on whether they see significantly earlier times in their newsfeeds (and where it was) for these stocks tonight? MU @ 17:12:17 ET (first DJ headline) - Started running at 17:09:24. Someone got a head start (and did the wrong thing with it, as it turns out)? BOL @ 16:40:36 ET (first DJ headline) - Halt wasn't effective until 16:56:48. Can someone who traded in between those times confirm that the trades stood?