> I'm sure the offers of help from experienced cave divers, folk who could help with logistical support, etc. were appreciated. Even the SpaceX engineers and supplies Elon sent were probably appreciated (I could not find anything about them actually being used, although I did not search extensively).

Elon/SpaceX's offer to help _was_ in fact appreciated by the lead diver.