How do you season already cooked shrimp?