Conversation so far:
When did Jimmy go to U of M?
In 1984, Johnson was hired by the University of Miami to replace former coach.
How did his teams do there?
Johnson started with a shaky 8-5 record his first season.
How was his second season?
In his five years at Miami, Johnson compiled a 52-9.
How long did he stay at Miami?
CANNOTANSWER.
did he have any famous players there?
Bernie Kosar's.

Question: Did he set any records there?
Self-contained rewrite: Did Johnson set any records in Miami?