No, sir, the bullet performed a noble service.
Admittedly. But a .22 would have performed the same service at a tenth the price. And the 9mm could have gone on to slay more ragheads at greater distance.
Conservation of resources. Never use more tool than the job calls for.
To be "blunt" about it, a large club would have worked.