I owned stocks that immediately changed the symbol in my portfolio to its new symbol and I've had it where it changed the old symbol to some off the wall numbers and wouldn't let me trade it online but I could call an Etrade broker and they could do it for me. Then the symbol change like 2 days later. So who knows what will happen with this one.
They said that normally the symbol change will occur overnite and the new symbol will be in the morning. He also said that it could take a couple days to get the new CERTS. It depends on how it's done. We'll have to see I guess