The video was made by my dive buddy, who I don't think is on this forum. It was filmed on a GoPro in the Backscatter housing with a red filter (no lights, so sadly the caves in Coal Chute, the coolest part of the dive, didn't come out). I'm pretty sure he did the editing and text in Premiere CS3 and After Effects.
Thanks, tell him it's a master piece. In a few years Angelina will be begging to play in his movie.