right - almost all brokers have the new name. it's up to the company to take the last step imo, and then the ticker change is a done deal.