CREATE TABLE "final_leaderboard" (
  "place" text,
  "player" text,
  "country" text,
  "score" text,
  "to_par" text,
  "money" real
);

Question: What was Lee Trevino's score?
SQL: SELECT "score" FROM "final_leaderboard" WHERE "player"='lee trevino';