If the WAMUQ symbol gets changed, does the shares from wamuq to to the new stock with the stock price of the new symbol?