The Rescue (2021 film) - Wikipedia
Presumably many will have seen this but I think it hadn't been shown on UK TV until yesterday although a similar documentary was shown shortly after the incident. This seemed much more complete and giving new information - to me at least - as to the four adult workers rescued at the beginning, as to the doubts some of the cave divers had (as to almost giving up), and as to the reservations of the doctor over drugging the children. And no mention of Musk's submarine. Well worth a view and of course very moving.