I bought a two-pack of seasoned pork tenderloin filets from BJs last weekend and decided to try cooking one in the Instant Pot. I seared the pork on all sides in a little olive oil in the IP, removed it, then added about a cup and a half of chicken stock to the pot, scrapping the bottom to mix all the goody into it. Added a chopped up Vidalia onion and about a pound of baby carrots, seasoned with a bit of Mrs. Dash, placed the tenderloin on top, then cooked on high pressure for 7 minutes then let it naturally release for another 7. Delicious and so tender!