Its also a very hyper specific hex code of red, and any minor difference even a single hex digit difference is enough to not infringe, unless it is in combination with other marks they have.

They dont have just “red,” its like they have exactly #FF0A0A or whatever.

Business colors are very specific and deviate from other types of protection marks like that, for good reason. They need the extra “resolution.” (IYKYK)