OT: So if the Redskins change their name...