I'm guessing it was the same method used on old Randall.
Initial ballistics report says it was the same gun that killed Felix Soto.