user: Question: Player of corey pavin, and a To par larger than 5 has what average total?
Columns: ['Player', 'Country', 'Year(s) won', 'Total', 'To par', 'Finish']
Types: ['text', 'text', 'text', 'real', 'real', 'text']
Sample row: ['Tom Kite', 'United States', '1992', 281.0, 1.0, 'T5']
SQL:

assistant: SELECT AVG("Total") FROM "Table" WHERE "Player" = 'corey pavin' AND "To par" > 5.0;