In reportings such as this I always wish they would specify the make, model and caliber of the gun.
Why they don't do it, I cannot figure out. It's defnitely in the What, Who, When, Why matrix.
In this case, I'm forced to guess it was a GLOCK. But it's just a guess.