Entered for safe-keeping, from Kuhn Rikon's "Quick Cuisine. If you want a more robust garlic flavor, roast one head of garlic, drizzled with olive oil and wrapped with foil, in a 350-degree-F oven for 45 minutes. Use a potato ricer, food mill or potato masher, or even a fork to mash, but do not use a food processor, as the potatoes will become "gluey". The smallest size pressure cooker K-R recommends for this recipe is 4-quarts. The benefit of the p.c. is getting steamed potatoes, keeping more of the nutrients than if you boiled or microwaved the potatoes. Of course, you can gussy up these mashed potatoes to your heart's content. Yukon Gold, or other waxy potatoes recommended for boiling, do not absorb as much water and result in a more flavorful end product, but can be difficult to obtain a really smooth texture without turning them to glue (but they're great for "lumpy" mashed potatoes). Idaho and russet potatoes have a mealier texture that lends to a smoother texture, if that is desired. (It's a waste of money to use new potatoes for this recipe.) This recipe was developed for a 15 psi p.c. As always, check your p.c. manual for its suggested cooking time. Do not use a quick release method for potatoes.