For anyone who's done even a little diving, sedation sounds a lot kinder than teaching the kids to cave dive, let alone under those circumstances.