What is the sum of Total, when Player is "Tommy Bolt"?
CREATE TABLE table_name_4 (total INTEGER, player VARCHAR)
SELECT SUM(total) FROM table_name_4 WHERE player = "tommy bolt"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_4 (total INTEGER, player VARCHAR) Question: What is the sum of Total, when Player is "Tommy Bolt"? [/INST] SELECT SUM(total) FROM table_name_4 WHERE player = "tommy bolt" </s>