Question: Mudvayne's single "Happy?" was the theme song of a PPV event that was held in what city?

Related documents: [0]  [DOC] 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. It was the fifth annual Vengeance event. Professional wrestling is a type of sports entertainment in which theatrical events are combined with a competitive sport. The buildup to the matches and the scenarios that took place before, during, and after the event were planned by WWE's script writers. The event starred wrestlers from the Raw brand: storyline expansions of the promotion where employees are assigned to wrestling brands under the WWE banner. [END] 
[1]  [DOC] "Happy?" is a single from Mudvayne's third album, "Lost and Found". It was released in 2005 and is a highly played song on the radio. The song was the theme song of "WWE Vengeance 2005" and has been played as a commercial bumper track for "The Jim Rome Show". "Happy?" was named both the No. 1 Headbangers Ball Video of 2005 and "Billboard" Monitor's Active Rock Song of the Year. The song held the No. 1 spot on the "Billboard" Hot Mainstream Rock Tracks chart for one week, and reached No. 8 on the Hot Modern Rock Tracks chart. [END]  
Answer: Las Vegas
Las Vegas