I think I've heard about those before. Are they supposed to be better than peppermint shrimp? Also, would they be doomed if they slipped onto one of my 4 koralias?