Guest Stars Matt Stone voices Butters Stotch Trey Parker voices Randy Marsh Trey Parker voices Mr. Garrison Trey Parker voices Mr. Mackey Matt Stone voices Gerald Broflovski Trey Parker voices Clyde Matt Stone voices Jimbo Kern April Stewart voices Mayor McDaniels Isaac Hayes voices Chef Peter Serafinowicz as Darth Chef