CREATE TABLE table_name_73 (laps INT, rider VARCHAR)

What's the highest amount of laps Garry Mccoy drove?
SELECT MAX(laps) FROM table_name_73 WHERE rider = "garry mccoy"
SELECT MAX("laps") FROM "table_name_73" WHERE "garry mccoy" = "rider"