Conversation so far:
When did American football coach Jimmy Johnson go to University of Miami?
In 1984, Johnson was hired by the University of Miami to replace former coach Howard Schnellenberger
How did the University of Miami teams of American football coach Jimmy Johnson do there?
In his five years at Miami, Johnson compiled a 52–9 record, appeared in five New Year's Day bowl games, winning one national championship (1987).
How was American football coach Jimmy Johnson's second season at the University of Miami?
1985 Miami 10–2, L Sugar Bowl
How long did American football coach Jimmy Johnson stay at Miami
five years
did American football coach Jimmy Johnson have any famous players there at the University of Miami?
Vinny Testaverde, Bernie Kosar

Question: Did he set any records there
Self-contained rewrite: Did American football coach Jimmy Johnson set any records there at the University of Miami?