Yes it is. I counted at least 8 in the main tank; zootierliste says that 10 were originally brought in.
Quite shortly after they arrived, 1 died following a dispute with a whitetip reef shark (one of the reasons why the whitetips were sent off to another aquarium).
