Including Tux, they look like they’re from the 90s (probably because they are). I’m glad we don’t see much of the branding mascots anymore, even Tux isn’t really heard of now.