CREATE TABLE table_name_25 (finish VARCHAR(255), player VARCHAR(255))
What is the finish of player Hale Irwin?
    
SQL: SELECT finish FROM table_name_25 WHERE player = "hale irwin"