that is a very good time. prob around a 4:17-4:19 depending on how good his kick is.
i use to run in high school and at one point in time prob ran every race other than the 100 haha.
400-51.8 (during a relay so doesn't really count)
800- 2:01
those are really my only note worthy times.
i...