CREATE TABLE table_name_51 (margin_of_victory VARCHAR(255), runner_s__up VARCHAR(255))
What was the margin of victory over Brad Faxon?
    
SQL: SELECT margin_of_victory FROM table_name_51 WHERE runner_s__up = "brad faxon"