user: Question: How many positions have a total time of 1:30.4135?
Columns: ['Pos', '##', 'Name', 'Team', 'Lap One', 'Lap Two', 'Lap Three', 'Lap Four', 'Total Time', 'Avg. Speed']
Types: ['text', 'real', 'text', 'text', 'text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['1', 6.0, 'Ryan Briscoe', 'Penske Racing', '21.8041', '21.6872', '21.6202', '21.6851', '1:26.7966', '168.394mph']
SQL:

assistant: SELECT COUNT("Pos") FROM "Table" WHERE "Total Time" = '1:30.4135';