Congratulations to Bob Trout for his All-Star Game MVP.