I don't have an instant pot, so I modified technique a bit by boiling the shells to al dente, then adding them to my meat sauce mix and simmering on low for about 15 minutes to let them cook the rest of the way. Dish was still delicious and flavorful!
