On the Jungle Cruise in California, they still shoot the pistol to scare the hippo off. When I was a kid, they used to shoot the hippo. Were they using the pistol still when you were a skipper and how do most skippers feel about that being gone at WDW?