Puma's already been used (10.1), Lion is unlikely (there's a bit too much mystique behind it).

They could probably expand their "big cat" selection to e.g. leopardus (Ocelot, Margay), the Serval, the Caracal, the Jaguarundi (a cousin of the cougar), …