EEE Cooks: Beef Tenderloin (Recipe)

Ingredients

• 2½ pounds piece of tenderloin beef
• 1 tablespoon minced garlic
• ½ teaspoon dried, plus more for gravy thyme
• 1 teaspoon kosher, divided salt
• ½ teaspoon freshly ground, divided pepper
• 1 tablespoon olive oil
• 1 cup canned chicken stock
• 4 ounces white button mushrooms
• 1 teaspoon butter
• 1 teaspoon olive oil
• 1 tablespoon shallot
• 2 tablespoons dry red wine
• salt & pepper