CREATE TABLE table_name_25 (time_retired VARCHAR(255), grid VARCHAR(255), driver VARCHAR(255))
What is the Time/Retired when the grid is larger than 9 and Rolf Stommelen is the driver?
    
SQL: SELECT time_retired FROM table_name_25 WHERE grid > 9 AND driver = "rolf stommelen"