and Wilma. The delays led to a budget of what some insiders claimed to be over $150 million, though Universal Pictures says it cost $135 million. Several crew members criticized Mann's decisions during production, which featured sudden script changes, filming in unsafe weather conditions, and choosing locations that "even the police avoid, drafting gang members to work as security". Mann wanted the film to be as realistic as possible, and took Farrell along on what were thought to be real drug busts undertaken by FBI drug squads, though these were later found to have been staged. Foxx was also characterized as unpleasant to work with. He had won an Academy Award after signing onto the film but before production began, and subsequently called for upgrades in his salary and other compensation. He demanded top billing in the film's credits and was also said to have complained that he was paid less than Farrell; Foxx's salary was raised considerably and Farrell's was cut slightly to address this. Foxx also refused to fly commercially, successfully lobbying Universal to hire a private jet for him. He also objected to filming scenes shot on boats or planes. Eventually, after gunshots were fired on set in the Dominican Republic on October 24, 2005, Foxx left the country and returned to the United States. This forced the production to abandon the script's intended ending, slated to be shot in Paraguay, and revert to a previously discarded one that Mann had written, which was set in Miami. One crew member later opined that the Miami-based ending was the dramatically inferior of the two, though Mann said that he came to prefer it. Sal Magluta, the drug trafficker identified by Tubbs as running go-fast boats in the film's opening scenes, is in fact one of Miami's real-life reputed "Cocaine Cowboys" and is currently serving a life sentence for money laundering. The first teaser trailer to appear for the film featured the Linkin Park and Jay-Z song "Numb/Encore". This trailer was attached to the release of King Kong in theaters. For several months before its release, the official web site hosted the first teaser trailer for download as a High-Definition WMV download. Music Mann took efforts to distance the film from the television series; this extended to his choices for music, as he declined to use the show's theme song and did not ask series composer Jan Hammer to