I’m guessing these are the old 230 “grenade launchers” that have been replaced by the 320’s. Can they fire grenades? Sure. But they can also be used for tear gas and such. Which is what I assume any school would use them for. Grenade launchers just sound so much more violent and that’s good for the press.
Oh yeah it could never happen here....(sarcasm off)