I'm down with Ocelot, although my gut tells me they'll go with Lion. I guess they'll avoid Mountain Lion & Cougar since they already used Puma (although there's another good reason to avoid Cougar these days...).
Actually I think they should recycle Puma (or Cheetah) as those two were internal code names only. Jaguar (which El Jobso had trouble pronouncing) was the first public one.
And of course there is a Lion lurking somewhere in the wings...