The population is now 10.5 in four institutions, with the San Diego Zoo and the Columbus Zoo being two of them. The population manager is at the Denver Zoo, so it's quite possible that some are located there. The species is now a phase-in species, which is great, but an import is required due to limited genetics.