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

full_context: Document 1: Vengeance: Night of Champions: Vengeance: Night of Champions was the seventh annual professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE) within its Vengeance/Night of Champions chronology. It featured talent from the Raw, SmackDown!, and ECW brands. The event was sponsored by Raw Attitude Energy Drink and took place on June 24, 2007, at the Toyota Center in Houston, Texas. Every match on the card was contested for a championship; two were won and seven were retained. This event was notable for being on the weekend of the Chris Benoit double-murder and suicide case. Benoit, who was originally booked to face CM Punk for the vacant ECW World Championship, legitimately no-showed.
Document 2: Sound of Madness: "Sound of Madness" is a single by American rock band Shinedown from their 2008 album "The Sound of Madness" and is also the album's title track, despite the exclusion of the word "the" in the song's title. The song was chosen to be the title track after some road testing on a short run of dates. It was released on February 23, 2009 in Europe. As of June 20, 2009, the song has peaked at No. 1 on the Hot Mainstream Rock Tracks chart, making it their third straight single to reach the top spot on the chart. This makes Shinedown the only band to have their first ten singles all reach the top five on the Mainstream Rock chart. It also reached No. 5 on the Hot Modern Rock Tracks chart making it the band's fourth top ten hit and third top five hit.
Document 3: III (Maylene and the Sons of Disaster album): III is the third studio album by Maylene and the Sons of Disaster. It was released June 23, 2009, and all pre-orders shipped on June 18, 2009. The first single from the album is Just A Shock, which was uploaded to the band's MySpace as a promo for the album. About a week before the album's release another song was released to the public: Step Up (I'm On It). On June 19 the album was leaked in its entirety onto the internet. The song "Harvest Moon Hanging" is a reference to the Harvest Moon from the "Bone" series (most notably collection six, "Old Man's Cave"). The album debuted at number 71 on the Billboard 200 in its first week of release. It was announced that their song "Step Up (I'm on It)" was used as the official theme for the inaugural WWE Bragging Rights Pay-Per-View. In 2010, was released a Deluxe Edition of the album in iTunes, containing two new songs and the music video for "Step Up (I'm on It)". "Step Up (I'm on It)" also was on Season Two: Episode One of the critically acclaimed series "Sons Of Anarchy", when Bobby came back to the clubhouse after his jail time. "Step Up (I'm on It) is also in the video game EA Sports MMA.
Document 4: 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. 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.
Document 5: You'll Be Safe Here: "You'll Be Safe Here", an EP by OPM band Rivermaya, featuring the song with the same name which was first used as the theme song to the 2005 ABS-CBN TV show "Spirits". It has 2 music videos where the 2nd music video used an advanced technology that translates the lyrics of the song. This song was also played at the 2006 MTV Asia Awards. Rivermaya was the only Filipino band to perform in the awards show.
Document 6: WWE Judgment Day: Judgment Day was a professional wrestling pay-per-view event, produced every May by WWE, a professional wrestling promotion based in Connecticut. The event was created in 1998, with its inaugural event produced as an In Your House event in October of that year. The event was then replaced in 1999 by the PPV Over the Edge, which saw the death of Owen Hart. The event was then brought back in 2000 and was rebranded as an annual PPV event for WWE. To coincide with the brand extension, the event was made exclusive to the SmackDown! brand in 2004. In 2007, following WrestleMania 23, brand-exclusive pay-per-view events were discontinued. The final event was held in 2009, with Over the Limit replacing Judgment Day in 2010.
Document 7: Happy? (Mudvayne song): "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.
Document 8: WWF The Music, Vol. 5: WWF The Music, Vol. 5 is a soundtrack album by WWE (then known as the World Wrestling Federation, or WWF). Released on February 20, 2001 by Koch Records, it features entrance theme music of various WWE superstars, all of which were composed and performed by Jim Johnston (with the exception of one song, performed by Motörhead). The album was a commercial success, charting at number two on the US "Billboard" 200.
Document 9: Getting Away with Murder (song): "Getting Away with Murder" is the first single from the band Papa Roach's third album, "Getting Away with Murder". The song shows the band's new sound, the sound of the song is hard rock instead of their previous nu metal sound. The song also features no rapping at all, something that was used in Papa Roach's previous singles. The video is performance-based, showing the band playing in a Stock Exchange Hall with references filled with fans (including sexual imagery which led the band's lead singer Jacoby Shaddix to describe the video as "stocks and bondage" in an MTV2 interview). It was directed by Motion Theory. The song is also the former theme song for "WWE Tough Enough". It was featured in the video game "MX vs. ATV Unleashed" in 2005. A "clean" remix of the song called "Getting Away With... (Gran Turismo 4 Vrenna/Walsh Remix)" was featured in "Gran Turismo 4"; it was a bit faster, had the heavily distorted guitars toned down, and had a backing whisper of the words "getting away" instead of "..with murder".
Document 10: Will You Wait for Me (EP): In March 2015, a single entitled "When I'm Away" was published, and streamed by Los Angeles radio station KSRY FM. This song was then used as the theme song for a Hulu television commercial the following May. Two months later, another song named "Romancing" was published on indieshuffle.com. One week after the EP was released, a music video was published for the song.
Document 11: WWE Elimination Chamber: Elimination Chamber is a professional wrestling pay-per-view (PPV) event, produced by WWE, a professional wrestling promotion based in Connecticut. The event was created in 2010, with its inaugural event taking place on February 21, 2010, replacing No Way Out. Elimination Chamber is a pay-per-view (PPV) event consisting of a main event and undercard that features championship matches and other various matches. The concept of the show was that the two main event matches were contested inside the Elimination Chamber; one of these matches typically featured the WWE Championship being defended, while the other was usually contested for the World Heavyweight Championship (the two titles were unified in December 2013). The first Elimination Chamber event took place on February 21, 2010 and aired live on PPV. The event's name was selected after WWE allowed fans to provide input via a survey on their official website and was chosen over Heavy Metal, Battle Chamber, Chamber of Conflict, and the original No Way Out name. Since its origin, each event has been held in an indoor arena, with all five taking place in the United States. In 2015, the event was replaced by Fastlane in the February pay-per-view slot. However, the 2015 event was later announced to be streamed exclusively on the WWE Network in the United States on May 31 and was also available on PPV elsewhere. WWE also confirmed that the newly vacant WWE Intercontinental Championship was being decided inside the Elimination Chamber. The event did not occur in 2016, but returned in 2017 as a SmackDown branded event.
Document 12: Boy Hits Car: The band was formed in 1993. After releasing their first album, "My Animal", independently in 1998, they went on the Sno-Core Tour and recorded their next album, "Boy Hits Car", on Wind-up Records. Their song "LoveFuryPassionEnergy" was used as a theme song for WWE Hall of Famer Lita and was distributed on the "WWF Forceable Entry" album in 2002. A third album was self released in 2005 called "The Passage". In 2006 the band re-released the album in July after signing with Rock Ridge Music as their distributor. It was announced on their homepage that they will have a new album with a planned release on March 15, 2011. Boy Hits Car released their 5th studio album "All That Led Us Here" in May 2014 and are following it up with a European tour.
Document 13: Vengeance (2011): Vengeance (2011) was a professional wrestling pay-per-view (PPV) event produced by WWE that took place on October 23, 2011 at the AT&T Center in San Antonio, Texas. It is the twelfth event under the Vengeance/Night of Champions chronology and the first event under the Vengeance name since the . Eight matches took place at the event. The pay-per-view garnered 121,000 buys, down from 137,000 buys the previous year's event, Bragging Rights, received.
Document 14: Survivor Series (2005): Survivor Series (2005) was the 19th annual Survivor Series professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE). It took place on November 27, 2005, at the Joe Louis Arena in Detroit, Michigan and consisted of six professional wrestling matches involving wrestlers from the Raw and SmackDown! brands.
Document 15: WWE Night of Champions: Night of Champions was a professional wrestling pay-per-view (PPV) event produced by professional wrestling promotion WWE. The event was previously known under the name Vengeance, with the inaugural event taking place on December 9, 2001 and replacing the regularly scheduled WWE Armageddon for that year. The 2002 event featured the Raw and SmackDown! brands. The event was made exclusive to the SmackDown brand in 2003, and in 2004 it was made exclusive to the Raw brand. In 2007, following WrestleMania, all PPV events became tri-branded. Vengeance took over WWF Fully Loaded's scheduled date in July 2002 and later moved to June in 2005, switching schedules with The Great American Bash. Night of Champions took over as the June pay-per-view event in 2008 dropping the Vengeance name that themed the same name in 2007 with , moved back to July in 2009 and in 2010, the event moved to September. In 2016, Night of Champions was replaced on the PPV schedule by Clash of Champions. Though the concept of Clash of Champions is similar, it is not a direct continuation of Night of Champions.
ground_truth: Las Vegas