Deepest sympathies. My mother had to put down her cat recently after 14 years of fairly trouble-free life. But then her organs suddenly started collapsing and there was nothing that could be done. So 15 years is a good old lifespan for a cat, and I agree with you that I'm not sure the extra years of painful existence will be worth it. :-( Either way, a horrible decision.