CREATE TABLE table_name_66 (total INTEGER, player VARCHAR(255))
What is the average total for Dave Stockton?
    
SQL: SELECT AVG(total) FROM table_name_66 WHERE player = "dave stockton"