Question: Fun was produced by the band formed in what Texas city?
Sentence (from "Butthole Surfers"): Butthole Surfers is an American rock band formed by singer Gibby Haynes and guitarist Paul Leary in San Antonio, Texas in 1981.
Relevant evidence: Yes