[mratzloff]

You mean if they have to wait until May 18, which is what was negotiated before Musk had a public tantrum?