Looks like it. I would speculate we get the ticke

Looks like it. I would speculate we get the ticker change this month for sure. But its government, so who knows. That may extend it out further, but eventually they will need to be releasing this information regards less of ticker change just because of timing!