Simple Garlic Mashed Potatoes - 4-Qt. Pressure Cooker - cooking recipe

Ingredients

3/4 cup water
4 lbs potatoes, peeled and quartered
1/2 - 3/4 cup milk, warmed
2 garlic cloves, peeled and crushed or 2 tablespoons garlic oil
1/4 cup butter, melted
salt, to taste
fresh ground black pepper, to taste

Preparation

Place a trivet in the bottom of a 4-quart or larger pressure cooker. Add water and potatoes.
Secure lid and over high heat reach high pressure. Adjust heat to stabilize pressure. Time from moment high pressure has been reached, cooking for 8-10 minutes. (Check at 8 minutes; if not done, recover and bring up to pressure for additional time.).
Remove from heat and allow pressure to drop naturally, per your p.c. manual.
Drain potatoes into a colander and let stand for a minute to dry excess moisture.
Put potatoes through a potato ricer, food mill, or mash with a potato masher and transfer to a warmed serving dish.
Add warmed milk, 1/4 cup at a time, while beating, until the potatoes are creamy.
Add garlic and butter and beat until blended.
Season with salt and pepper to taste.