They seem to be dead set on 4:01 PM on 5/11. Don't think they would have flippantly posted that date on the IR website after they made the mistake in putting in the 5/3 date. We'll find out soon enough.
Market Data 
Markets 
AI
