Cooking pork filet mignon