user: Question: What is the sum of Total, when Player is "Tommy Bolt"?
Columns: ['Player', 'Country', 'Year(s) won', 'Total', 'To par', 'Finish']
Types: ['text', 'text', 'text', 'real', 'real', 'text']
Sample row: ['Ben Hogan', 'United States', '1948 , 1950 , 1951 , 1953', 287.0, 7.0, 'T8']
SQL:

assistant: SELECT SUM("Total") FROM "Table" WHERE "Player" = 'Tommy Bolt';