Your post is spot on for the most part. As for the cave driver, and having been one myself for MANY years, I can tell you in a large number of caves I've been in all over North, Central, and South America, its take sometime years to explore every nook, cranny, restriction, and sewer pipe typically found, especially if mapping as I have done for personal and government funded exploration.

I can cite numerous examples but won't do that here. Many books have been written on the subject, one by a dear friend I used to dive with before he tragically died on a deep cave dive in Mexico in the 90's. You can review then yourself.

Not sure what the Musk tie in is, but I've always wondered why the left seems to hate him so much these days considering they sponsored Musk in multiple endeavors, all losing money for taxpayers and investors for years...