CREATE TABLE table_name_57 (record VARCHAR(255), time VARCHAR(255))
What was the record after the bout lasting 4:15?
    
SQL: SELECT record FROM table_name_57 WHERE time = "4:15"