Thanks for your comments! The now ancient Nat Geog documentary “Asteroids: Deadly Impact” shot some of the footage at the Hubble team HQ, hmm, I wonder if that’s online anywhere...
Ah! backstory starts around the 40 minute mark. Hey, July 21 is the anniversary of the first hit!
https://www.youtube.com/watch?v=8VgO1adlEM8
https://www.imdb.com/title/tt0270210/
Thanks for hunting that documentary down! What an exciting time that was! It’s too bad Gene Shoemaker was killed in a car accident some years later. His passion certainly made us richer in knowledge.