A rocket launcher is any device that launches a rocket-propelled projectile, though it is usually used in reference to portable mechanisms that can be operated by a single individual. Internationally, they are included in the category of other shoulder-launched missile weapons, though are also colloquially known as bazookas. Another type of well-known rocket-launcher is the rocket-propelled grenade, or RPG, which is specifically used as an anti-tank weapon and which was developed by the Soviet Union.
After a Velociraptor escaped from its enclosure and mauled a worker, Robert Muldoon insisted that lethal weapons be kept in the park in case of such dire situations. Such an occasion arose when Dennis Nedry shut off the power and the dinosaurs began to escape from their paddocks. In order to recapture one of the dinosaurs–one of the Tyrannosaurus, no less–Muldoon used a rocket launcher. He at first thought that he missed–or, alternatively, that the explosive shells loaded into the rocket launcher had no effect–but the tyrannosaur was later knocked out when it finally felt the full effects of the impact.