No Pressure Rancho Pinto Beano - cooking recipe

Ingredients

2 tablespoons olive oil
1 white onion, chopped
1 jalapeno, chopped
4 garlic cloves, chopped
1 (6 ounce) bag dried pinto beans
1 bay leaf
5 cups water
2 tablespoons cumin
1 (8 ounce) can jalapeno sauce (El Pato brand)
salt, pepper to taste

Preparation

Rinse beans thoroughly and allow to soak while preparing remaining ingrediants. Saute onion in pressure cooker with olive oil for a few minutes then toss in jalapeno and saute until softened. Add garlic and saute briefly. Add pinto beans and water. Close pressure cooker and cook on medium-low heat for 30 minutes.
Remove from heat, and do quick release method by placing cooker under running water until steam indicator drops. Place uncovered cooker back on the heat, add cumin and salsa and cook for an additional 5-15 minutes to thicken. Season to taste.