The inner main-belt asteroid 5806 Archieroy was named after Professor Roy shortly after its discovery in 1986.

BBC: Academic and writer Archie E Roy dies aged 88

Critically, the Baptistina family of asteroids - those that were formed when the larger asteroid destructively entered the main belt - were only formed around 80 million years ago.

BBC: Asteroid thought to kill dinosaurs may not be guilty

Although downward-looking diagrams of the Main Asteroid Belt make it look incredibly dense, the region has significant gaps, clumps and clusters.

FORBES: Main Asteroid Belt No Remnant Of Exploded Planet

The main source of meteorites, Chinese folklore notwithstanding, is the asteroid belt between Mars and Jupiter, a rough-and-tumble region of our solar system in which would-be planets are upset by Jovian gravity.

FORBES: Hot Rocks