Question: Mudvayne's single "Happy?" was the theme song of a PPV event that was held in what city?
Sentence (from "Vengeance (2005)"): Vengeance (2005) was a professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE) and presented by THQ's "Juiced", which took place on June 26, 2005, at the Thomas & Mack Center in Las Vegas, Nevada.
Relevant evidence: Yes