CREATE TABLE table_name_42 (score VARCHAR(255), player VARCHAR(255))
What was Lee Trevino's score?
    
SQL: SELECT score FROM table_name_42 WHERE player = "lee trevino"