Filing under "to do": check out [PBS Space Time][1]. I've run into references to it several times and I think it's going to be fun. Not sure if it's the kind of thing L. could get into -- I may try! [1]: https://www.youtube.com/channel/UC7_gcs09iThXybpVgjHZ_7g