Will the DOLV ticker symbol ever change? The new symbol was approved. Is it normal to take weeks or more for all the ducks to get lined up to have the symbol change.