Step 1

Season roast with sea salt and fresh ground black pepper.

Step 2

Set to "sear" and add meat. Sear meat on each side. Remove meat; set aside.

Step 3

Place carrots, onions, mushrooms, garlic, and butter in cooker and sauté.

Step 4

Return beef to cooker and add BBQ sauce and water.

Step 5

Close lid and lock. Set to "meat/stew" and adjust for 17 minutes (for medium-rare).

Step 6

When done, quick release until all pressure is released.

Step 7

Open and serve.