Circuito de Jerez
The official race lap records at the Circuito de Jerez are listed as: