Question: What is the sum of Total, when Player is "Tommy Bolt"?
SQL: SELECT SUM(total) FROM table_name_4 WHERE player = "tommy bolt"