What is the best recipe for making pressure cooker gumbo?

To make pressure cooker gumbo, saut onions, bell peppers, and celery in the cooker. Add in sausage, chicken, broth, tomatoes, and seasonings. Close the lid and cook on high pressure for 15 minutes. Release pressure, stir in shrimp and Okra, and simmer for a few minutes. Serve over rice.