Ahh, awesome! I've made that recipe once and it was indeed delicious. If you haven't tried the chicken thigh version, IMO it's better: https://www.seriouseats.com/recipes/2015/04/pressure-cooker-fast-and-easy-chicken-chile-verde-recipe.html

edit to add: Have you considered a smaller burner like one of these? https://www.amazon.com/Iwatani-Corporation-America-ZA-3HP-Portable/dp/B006H42TVG/ref=sr_1_3?keywords=portable+gas+cooktop&qid=1566313614&s=gateway&sr=8-3