They only have a "maximum" of 10 days to file for the name/symbol change with the SEC once the new name & CUSIP number has been granted & the SEC recommends they file a.s.a.p. after the new CUSIP number(2 days in fact) so we'll have to see what kinda details/timeframe is provided in the pending PR.