The one piece of information I did get when I called was that any ticker change could take months or years. There is no defined time for how long it should take. So we all just wait for as long as it takes.