We have this discussion up here a lot. Many will say a 9mm isn't enough. In this case it clearly was.
I'll pose a question to you. Would it be better that he carried a 454 or .44 with only six rounds and landed roughly the same percentage of shots roughly 50% (or probably even less since those hand cannons have such high recoil), or carry the gun you are comfortable with and know that you can land the highest percentage of shots possible.
While the 9mm doesn't have the same ft lb impact force a larger caliber does the travel at a pretty good rate of speed and an FMJ bullet will likely have deep penetration.
I personally carry a 10mm and don't have any concern over its stopping ability. I can drop all 15 rds in that thing into a 6 in ring at 15 yds. Can't say the same for a heavy high recoil barrel gun.