a friend is going to kenya and wants any info of any boat trips that do diveing .