4 tablespoons of butter1/4 cup of finely chopped onion1/2 cup of water1 lemon, juiced8 cloves of garlic, finely chopped2 (1.41 ounce) packages of sazon seasoning with saffronSalt and ground black pepper (to taste)1/2 (12 ounce) bottle of beer2 teaspoons of hot sauce (such as piri piri or tabasco®)1 lb of uncooked medium shrimp, peeled and deveined