That video is from Captain Slate's website. I wish I had a video camera when I made that dive, but all I have of me are stills (and no, I'm not posting them). I have a video camera now, so maybe I have to do that dive again. They actually seem to like being stroked. Even if you don't try to pet them, they will slide between your legs and wrap themselves, kind of like a house cat does.