Also, note that the pressure cooker is not the only option to cook these. You can replace the pressure cooker by placing all the same ingredients in a large Dutch oven and into a 325 degree oven for 2-3 hours, checking each hour for tenderness of the meat. The cook time could be longer depending on how large the portions of meat are.