Yep, give it a call. You'll should know there is a difference between a mandatory notification of a name change and a request to change the symbol. I am VERY correct on this!
Of course it is very easy to change...here is how! In the meantime, you keep believing what you want.
Market Data 
Markets 
AI
