Directions

1. Set pressure cooker to "sear", add oil, and press "start/stop". When hot, add onions, garlic, mushrooms, and basil.
2. Add butter, pasta, water, and shrimp.
3. Close and lock lid, set pressure cooker to "multi grain", adjust for 5 minutes, and press "start/stop".
4. When done, natural release for 5 minutes, then quick release and make sure all pressure is released before opening lid.
5. Carefully open lid and add cheese, additional ground black pepper, and salt. Serve immediately.