Does anyone by chance know what kind of pump action gun the Dust Leathernecks USMC Mortar gunners use? Is it just a fictional gun? The only thing I found that bears some resemblance is the China Lake Grenade Launcher (but that would be from the Vietnam War and also would be a little bit shorter in 1:48)