Hofheinz enlisted two of his grandchildren to launch the amusement park with the release of 2,000 balloons. An initial workforce of 1,200 collected tickets at a price of $4.50 for adults and $3.50 for children. Stan McIlvaine, who had formerly operated Six Flags Over Texas, was the first general manager of AstroWorld. Two of the park's sixteen attractions were not operational on opening day. Marvel McFey, the park's official mascot (branded the "Ambassador of Happiness"), was introduced in 1972. He was accompanied by a menagerie of "animal gypsies": Winston Wolf (the sheriff of AstroWorld); Pigs One, Two, and Three (mischievous tricksters named Quiz, Chiquito, and Harpo); Percy Penguin; Pierre Le Rat (the resident artist); Flopper Rabbit (a country bumpkin); Beethoven Bear (a checkers champion); Samantha Skunk ("a bright purple and pink flower child"); Frieda Frog (McFey's secretary); and Lester Lion (a frustrated baseball player). In addition to their in-park greeting and show duties, Marvel and his caravan of Enchanted Animals represented AstroWorld at many civic functions. Rolly Crump designed and built the character costumes. In 1970, just two years after the opening of Astroworld, Hofheinz survived a stroke that left him in a wheelchair. The enterprise announced a $38 million long-range financing program in 1972, with notes held by General Electric Credit Corp., Ford Motor Credit Co., and HNC Realty. Those creditors assumed control of the Astrodomain in 1974. Astrodomain sold the hotels to Servico Inc. in May 1976. Hofheinz liquidated his interest in the company a short time later. Six Flags Six Flags purchased a 20-year operating lease for AstroWorld in mid-1975. The following year, Six Flags AstroWorld introduced a new, high-speed roller coaster, the Texas Cyclone. A new playground named "The Magical World of Marvel McFey" was added to Children's World for the 1977 season. That same year, Robert Cartmell named the Texas Cyclone the best roller coaster in the world. The formal purchase of AstroWorld by Six Flags concluded in 1978. In 1978, the new attraction was Greezed Lightnin', a high-acceleration loop roller coaster. McFey's tenure as the park's mascot ended in 1984 as Bugs Bunny and other Looney Tunes characters moved into the Enchanted Kingdom for the 1985 season; AstroWorld's parent corporation, Six Flags, had acquired the license to use the Looney Tunes characters in 1984 for its theme parks from Marriott along with the Great America in Gurnee theme park; Marriott had held the license