I'm trying out my pressure cooker for the first time today. I'm currently making dried pinto beans and ham hocks. All the recipes call for about 55 mins of high pressure, but I soaked mine overnight (closer to 24 hours) so I am assuming a shorter time. Any ideas on how long I should cook them? Thank you!