I've seen whale sharks in documentaries next to divers, but I still couldn't imagine it unless I saw them for myself. Man, that must have been amazing! I've been to a few aquariums before but nothing that big. Are you out on a holiday right now?