Did not have Szechuan pepper at the time. Used 0.5 tbsp coriander seed and 1 tbsp pepper instead, turned out well
Added 1c dried (rehydrated) pinto beans
Threw ingredients in instant pot on high for 10 minutes after browning meat
Very spicy with the 2x jalapeno and habanero. Perhaps use a Thai pepper or Serano instead next time. If making for company, just 2x jalapenos would be fine