Grill the pork, basting with the reserved marinade, for 12 minutes, turning a quarter turn every 3 minutes. Discard marinade. Continue to cook pork, turning every minute or so, until an instant-read thermometer inserted into the thickest part of the tenderloin measures 145 degrees or the meat is slightly pink at the center. Let the pork rest 5 minutes before slicing.
|