Sad news. I have had a couple of pets come and go as well, never easy especially when they have been in your life as part of the family for so long. Time heals all wounds and eventually brings us all back together. Hold onto those memories and cherish the moments you had with him.