How sad. We've only at to put down one cat in the park and it wasn't easy. Like you said, he will suffer no more.