Corned Beef and Cabbage/Pressure Cooker

I've got this recipe in my collection from and old friend but never got a pressure cooker. This is posted in response to a request.

• Ready In: 2 hrs 15 mins
• Serves: 6

Ingredients

• 4  cups water
• 2 1⁄2 lbs  point cut corned beef brisket
• 3  garlic cloves, quartered
• 2  bay leaves
• 4  carrots, cut into 3 inch pieces
• 1  head cabbage, cut into 6 wedges
• 6  peeled and quartered potatoes
• 3  peeled and quartered turnips (any additional veggies you enjoy)
•  horseradish sauce (optional)

Directions

1. Pour water into pressure cooker.
2. Add brisket; over high heat, bring water to a rolling boil.
3. Skim residue from surface.
4. Add garlic and bay leaves and secure lid.
5. Over high heat, bring to high pressure.
6. Reduce heat to maintain pressure and cook 1 hr 15 minutes.
7. Release pressure according to manufacturer's directions and remove lid.
8. Add vegetables to brisket and liquid, stirring gently.
9. Secure lid abd over high heat, bring steam to high pressure.
10. Reduce heat to maintain pressure and cook 6 minutes.
11. Release pressure according to manufacturer's directions.
12. Remove lid.
13. Serve with horseradish sauce.