I'm astonished to realize that his great mile record was 61 years ago. It was also the first time that a sixth-place finisher had run under 4 minutes.
A few years later, I went to Dublin to study medicine, and I was excited to see the Stadium out among the cow pastures as I rode the bus from the airport into town!