That's great to hear. Most sharks are safe to humans, but there is still the possibility for danger in some cases, plus movies and media also don't help.. Unfortunately, this sometimes leads to them being killed unnecessarily. It's good that you could have such a great experience.