You can double check on Mylaps for all the lap times. Feel free to verify for me, since I wasn't in that race, it's not easy for me to find on mylaps.