Heat the butter in the cooker; saute the onion and garlic until the onion is lightly browned, about 4 minutes. Add the peas, stock, ham hock (if desired), and carrots. Lock the lid in place and over high heat bring to high pressure. Adjust heat to maintain high pressure and cook for 10 minutes. Let the pressure drop naturally or use a quick release method. Remove the lid, tilting it away from you to allow any excess steam to escape. Remove and discard the ham hock, if used. Stir in the okra, tabasco, and salt to taste. Simmer until the okra is cooked, another 3 to 4 minutes. Adjust seasonings and serve.
Serves 6.