At the end of 2018, we repaved the entire track, resulting in generally faster lap times over all. The records as they stood before the repaving are listed here, for posterity.