Sorry to hear that Ami, I hope that you are able to give him some comfort.
On another sad note, our family cat died yesterday. Her name was Willie (short for Willamena), wow, now that I just wrote that, I think it finally hit home

She was 25 years old, and had been a loving part of our family for a very long time. She was named after the bartender on a cruise my family took when we were young. We came back from the cruise and found her alone under the deck in front of our house, and adopted her.
Every Christmas for the last 6-7 years we would wonder if Willie would still be around the next one, and there she would be. She had been looking pretty bad the last few months, and had a stroke yesterday and that was pretty much the end.
So tomorrow at the St. Patty's Day Parade I will be doing a shot for our family cat. Here's to ya Willie, hope you're having fun up there in Pet Heaven
P.S. I'm 32 now, we found Willie when I was 7 years old. That's just unbelievably crazy to me, I can't believe how long it's been, and how much has happened in that time. Crazy, just plain crazy.