One of the saddest things about growing old is watching younger, better people die before their time. This feels just like losing another old friend, though I never had the honor of meeting him in person. My sincere condolences to his family and friends. Goodbye Gator, RIP.