Seems we could get both at the same time. PR that mentions the name change and gives us the goods then doc will tell FINRA to change the name. I don't think there is any rule on which comes first. Could be wrong though.