The AR-15 is the gun of choice for mass shootings and it’s easier to buy in Florida than a pistol