Place pork on grill, close lid and cook on high for 7 minutes without turning meat.
Flip tenderloins over to grill the other side, close lid and cook on high heat for 6 more minutes.
Turn grill off, but leave pork on the grill for another 5 minutes.
Remove pork from grill, cover loosely with foil and let rest 5 more minutes before serving.
Notes
If you are unable to grill the tenderloin, follow these instructions – Sear tenderloin in hot skillet in oil to brown all sides. Roast at 425° in oven for 15-20 minutes.