But that doesn't mean they think the Washington professional football team should change its name.