what about peppermint shrimp?