Thinking about making squirrel-pot-pie. I figure pressure cooking with tender them up some. Any idea how long to leave them in the pressure cooker?