CREATE TABLE table_64608 ("Rider" TEXT, "Bike" TEXT, "Laps" FLOAT, "Time" TEXT, "Grid" FLOAT)

What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
SELECT AVG("Laps") FROM table_64608 WHERE "Rider" = 'gregorio lavilla' AND "Grid" > '13'
SELECT AVG("Laps") FROM "table_64608" WHERE "Grid" > '13' AND "Rider" = 'gregorio lavilla'