Table schema:
CREATE TABLE table_name_80 (score VARCHAR, player VARCHAR)

Question: What was Craig Stadler's score?
SQL: SELECT score FROM table_name_80 WHERE player = "craig stadler"