Question: How many laps have a time/retired of +23.080?
SQL: SELECT laps FROM table_name_51 WHERE time_retired = "+23.080"