Does anyone know if these options would be tradeable and listedAlso at what price do you think it would trade at