Herbed Pork Tenderloin

I made this a while ago but never posted the recipe. I maintain that pork tenderloin is the easiest meat to make taste amazing. The recipe is modified from a food network recipe.

• 2 lb pork tenderloin
• 1 tsp salt
• 2 tbsp olive oil
  
• 4 cloves fresh minced garlic
• 1 tsp dry thyme
• 1 tsp dry basil
• 1 tsp dry rosemary

1. Preheat oven to 375-400 (depending on how hot your oven gets)
   
2. Add everything (but pork) in a small bowl and combine/mix around.
3. Massage the herb mixture into the pork. Place pork on tin foil on a pan. Bake for 15-20 minutes for a medium rare.
4. Serve w/ poatatos and a veggie