Instruct: What is the sum of Total, when Player is "Tommy Bolt"?
Output: SELECT SUM Total FROM table WHERE Player = tommy bolt