Any chance it happens by the 17th or you think it's closer to August? Buying July 17th options but concerned they're not far enough out. TIA!