[mlindner]

The people calling the diver a "hero" are just as odd. Since when do we go around calling people "heroes" in this day and age? The only people who should be using that term are those who were personally saved by someone. Further the guy didn't actually take part in the rescue himself. He was a hobbyist diver who lived in the area who was an advisor. The "heroes", if there are any, are the actual rescuers who are almost forgotten to history now because everyone remembers the guy Musk called a name more than the people who did the actual rescuing.