I went to dig into this a bit (since the obvious way to find out what is trademarked is to read the filing) but the euro trademark viewer fails to load for me i

I went to dig into this a bit (since the obvious way to find out what is trademarked is to read the filing) but the euro trademark viewer fails to load for me in the US; a bit more digging suggests that not only is it not trademarked, but for a bunch of time they were driving Marlboro Red cars instead anyway, as part of a branding deal. So, anyone have leads on any actual evidence here?