Good job. You did the right thing. I think it's all too easy sometimes to sit back and watch and think, "he'll probably be alright," or "someone will help him." It sounds like you acted decisively and purposefully. Regardless of what his buddies or the diver himself, should or shouldn't have done, you saw a situation and handled it.