Cooking times will differ depending on how thick the tenderloins are so it’s difficult to give exact timings. As such, I recommend cooking to temperature. The safe internal temp of pork is now 145F/63C, which will look a touch pink. For no pink, I’d aim for 67-68C/152-154F. The temp will also raise a touch as it rests. In all cases, I’d stay on the side of caution and pull it out early to check, as you can always carry on cooking, but it’s hard to revive overcooked pork. Resting the pork for 5mins as the sauce cooks is important to retain its juices, so don’t slice straight away!