For boiling shrimp:
4 quarts water
1 onion, cut into chunks
1 celery stalk, cut into chunks
1 carrot, cut into chunks
6 peeled garlic cloves, crushed
1 lemon, cut in half and squeezed
1 tablespoon sea salt
4 bay leaves
2 pounds raw medium-size Gulf Coast shrimp (for boiling)