Just found out one of my dive buddies / instructor lost the tip of his pinky finger down in key West this weekend. Details are slim, apparently they were reboarding the boat after a dive, things were bouncy, and his finger got behind the ladder. I have a feeling the teasing will be worse than the actual injury