..."MACHINE GUNS"! Eeeeeeek!!!!!!
At Kim's place a commenter replied to my inquiry and said the D.C. police are issued .40 Glock 22/23's. The D.C. law defines any pistol with a capacity of 14 rounds or greater as a machine gun, and outlaws them. What's good for me, is not good for thee?