You should wait until they r/s and ask the admin to change the board name and ticker. that way all history from amsn is included with the new symbol.