Anybody heard what brand or type shotgun that was used in the shooting in Maryland?

The news said it was a pump action, but I didn't hear what kind.

Does it matter? Are certain pump shotguns banned in Maryland?