Grenade launchers and sawed-off shotguns are LEGAL...as long as the appropriate NFA/BATFE taxes have been paid and the weapons registered with the appropriate agency. If these taxes haven't been paid, or these weapons are, in fact, 'stolen', then they are ILLEGAL...not 'banned'.