I finally got around to watching Thirteen Lives last weekend, after watching The Rescue when it first premiered a while back. Honestly, I thought the documentary was a much better telling of the story, and some of the more amazing aspects - eg, the girlfriend of one of the lead divers just happened to be from the same small country town where the boys were from - were stranger than fiction. The way they filmed the doc really conveyed the claustrophobia and physical stress of cave-diving, more strikingly than the movie.
Plus the 'first name only' guy who showed up to help facilitate things with the government...fit, short hair, mentions he speaks fluent Thai, has been through dive school, knows a lot of senior government officials, and they snap at the cameraman to stop filming him. Dude had Agency written all over him, I was surprised they left him in the doc.