When I visited the San Diego Zoo, I noticed that there were a ton of these gray fish swimming around in the Africa Rock's penguin and shark exhibit. There was no information sign for them anywhere in the exhibit. I found no information about them anywhere on ZooChat and other websites. Not even YouTube channels like Zoo Tours talks about them. Does anyone know what kind of fish these are so I can add them on to my "species seen" list? 