He did say they could halt trading either before or after 10K. Looks like right now to me that it will be after 10K