Table schema:
CREATE TABLE table_name_57 (record VARCHAR, time VARCHAR)

Question: What was the record after the bout lasting 4:15?
SQL: SELECT record FROM table_name_57 WHERE time = "4:15"