4 ms·

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.