Great anecdote! My dad was an engineer on the Hubble and its servicing missions so I'm sure he'll get a kick out of that story if he hasn't heard it before. Thanks for sharing it!