CREATE TABLE table_name_80 (score VARCHAR(255), player VARCHAR(255))
What was Craig Stadler's score?
    
SQL: SELECT score FROM table_name_80 WHERE player = "craig stadler"