Yes very nice to have four species of truly small cat. Most people lump all the lesser cats into "small cats" including mid sized ones like servals and lynxes. I actually break them into three groups - small, medium, large (which I do in my monthly cat talk at Reid Park Zoo). What I call small cats are ones that are the same size as a house cat.
Most zoos that have a few so-called small cats actually include medium cats like ocelot and serval. It is very rare indeed for a US zoo to have four different species of truly small cats.