It sounds to me that the little girl forgot the safety directions and got a small accidental bite from the dolphin. No big deal. I've been bitten by various animals before, so what? Wash off the wound, put on a band-aid, and move on. If its worse, get stitches if need be. When we petted the sting rays, someone told me that they'd had their stingers removed, so I didn't worry at all. Then after I'd enjoyed petting quite a few of them, the aquarium worker told me that the stingers are still intact and usable, not removed. Now that made me a bit nervous. But he said if you treat them gently and don't hurt or scare them, they won't sting you. And none of them did. I was a bit nervous when I held a large tarantula too at my daughter's high school. But I treated it carefully and gently and it didn't bite. Now, the macaw did bite me, and hard too! When I used my fingers to try and pry its beak off my shoulder, it bit my fingers too. Took a good chunk out of my shoulder before it let go. I went back a few minutes later and held the same bird again so I wouldn't develop a fear of it and to show myself that I could hold it successfully without getting hurt. All went well on the 2nd try. We take a risk, sometimes we get hurt, then we heal. No different from falling off a bike while learning to ride. I used to hold and play with my large pet rats all the time. One time one of my nicest rats suddenly got scared when I was holding it and bit a huge chunk out of my finger, jumped off my hand, and ran and hid. Yes, it hurt but it wasn't the rat's fault that something scared it and it panicked. And as nice as the rats were, things like that can happen at times. I bandaged my finger and moved on.
I think the little girl is going to be fine
