Garlic-and-Pepper-Crusted Beef Tenderloin - Fresh-Pressed Olive Oil

Ingredients

• 8 cloves garlic, peeled
• 2 tablespoons coarse salt
• 1/3 cup extra virgin olive oil, plus 2 tablespoons for searing
• 1 tablespoon freshly and coarsely cracked black peppercorns
• 2 tablespoons fresh thyme leaves
• 1/4 cup fresh rosemary needles from a 3- or 4-inch sprig
• 2 tablespoons grainy mustard
• One 3-pound center-cut beef tenderloin, trimmed as needed