This seems odd to me: "Witnesses told police the mountain lion (scientific name, puma concolor) jumped onto vehicles and pawed at houses before darting away."
Without that, I don't really see much need to kill the cat. I'd normally expect it to move away from people, and head back to the boonies--or, at most, some park. Although, there aren't many parkland areas in Del Rio.
But that was seriously abnormal, odd-ball behavior...
You're from BATFE? Come right in! I use all your fine products!