Here is a picture of one of them. They are about the same size.
Would love to trade for a couple of smaller fish or some peppermint shrimp or give me an idea. Just let me know if you are interested and we can work something out.
They are very healthy and great eaters.