INSTANT POT PRESSURE COOKER CHILI

1 can diced tomatoes, in juice (Rotel preferred)
2 cans kidney beans (or chili flavored kidney beans)
1 small can mushrooms (optional)
1 small onion, diced
1 bell pepper, diced (optional)
1 lb. hamburger meat, browned
1 pkg. "Chili-O" seasoning
2 soup cans water (or enough to just cover all ingredients)

Combine all but the water in pressure cooker pot.
Add just enough water to cover ingredients, then mix well.
Pressure cook 15 minutes.

*if using dried beans, increase time to 30 minutes.