oder "Riot Gun" (riot = Aufstand) - um Aufstände nieder zu halten/ zu machen.
"PUMPGUN" ist ein im Land des Denglischen gern verwandter Begriff - meist von Waffengegnern verwendet.
Im Paintballbereich nennt man die Dinger auch einfach nur "Pumpe".
Das finde ich netter. Klingt auch nicht so nach Amoklauf/ "Kopf wegpusten" (was mit .68 Paintballs auch nicht geht).
Aber sich über so ein Wörtchen aufzuregen - dazu noch als Waffenfreund - ... :cc: ...