Yes but how does changing their license affect a trademark? If they are legally in the right and this is a violation of their trademark they should win their lawsuit about it regardless.
Also my initial question was not purely rhetorical, I would assume "Linux" is also trademarked so I'm wondering what is the difference there and why Redhat selling RHEL has not been the same problem.