Delicious! I cooked for less time after reading everyone else's notes. I pressure cooked for 4 minutes and let it cool down for 10 minutes. This was still too long. It was overcooked. I will make it again but cook it less next time and decrease the amount of pepper and paprika because it was a little too spicy for my kid's taste.
