That looks like a great time! I'm glad they had such a positive experience with them. I wanted to give you a word of warning though, just in case you believe (like some do) that dolphins are always playful and kind. Sometimes they get "frisky". If you try to push them away when they get "frisky" then they can get angry ... and you won't like them when they're angry. Divers, as it is information included in their lore, are advised when they get "frisky" to let them wear themselves out and not to shove them away. It may sound off color for this discussion but ... it happens and I wouldn't want anyone to be hurt or killed by handling it wrong. Remember, they are still wild animals. Be wary of them just like other wild animals.
1981 C&C 32