1/2 tsp. salt, or to taste
2 rosemary sprigs
1 cup heavy bodied red wine
1 cup port wine
1 medium shallot, finely chopped
3 tbsp. unsalted butter, divided
1/2 oz. dried porcini mushrooms, reconstituted in 3/4 cup water, liquid reserved
Olive oil
1 tsp. black peppercorns
2 tbsp. fresh rosemary leaves, finely chopped
1 oz. dried porcini mushrooms
Salt
3 pounds center-cut beef tenderloin