The people who rescued and helped heal Lenny the loggerhead turtle believe he was attacked by a shark that left him with a badly damaged flipper. But after some much needed time at The Turtle Hospital, it was all smiles as Lenny was brought back to the water. NBC News’ George Solis reports from the reef.