does someone here know when the May2020 options start trading?Also at what point the CR shares come out of escow?