I thought I read SEA will trade under the ticker SNDE not Holdco.Also I think it will trade at SNDE $12.00 US , 10 times SNDE closing price last night ?I guess we will see tonight ?