You can't really tell from the lap times how much time can be saved, I presume a 1:14.x is doable, but a 1:13.x is probably quite a stretch