BUT WHAT IS shrimp cocktail, REALLY?