I am not sure that a mascot needs to be this specific. AFACT penguins have 18 species, yet no one cares about Tux’s exact one. Ferris is just a crab, there are 7k species of them.
Why stay generic? Again, making plush toys and fan art cheaper/easier.