Well, they are his fingers and he thinks the dog was worth it so more power to him.........right?:dunno:
But dogs get eaten in Florida all the time. Ask anyone living in that state and they'll tell you it is a regular occurance for dogs to get eaten by alligators. It's all the same situation: old retiree is near a lake with her tiny, revoltingly cute mutt, the dog runs to the edge of a lake, swamp, or pond, and dog gets eaten by a gator. What's the loss of one less dog from another idly rich retiree going to matter?