Table: golf_us_open_1996
Columns: player
country
year_s_won
total
to_par
finish

Question: If the player is Corey Pavin when he had a To par of over 7, what was the sum of his totals?
SQL: SELECT SUM("total") FROM golf_us_open_1996 WHERE "to_par" > 7 AND "player" = 'corey pavin'