Is it better to boil shrimp with or without shell?