I cannot find the stock ticker symbol. I am aware that they are not publicly traded yet, but the ticker should be known already, right?