Mix the marinade together, right in a medium/large saute pan.
Add the tenderloin and roll it around in the juices.
You can stop at this point and leave the whole thing for the day or overnight. Otherwise let the juices marinate for 10 minutes or so, while the oven warms and the pork comes closer to room temperature, which is better for cooking anyway.
Cook at 425 for 20 minutes. Then let rest, covered for about 5 minutes before slicing.