Question: What was the theme song of the the fifth annual Vengeance WWE event?

Context paragraphs:
Vengeance (2004): Vengeance (2004) was the fourth annual Vengeance professional wrestling pay-per-view (PPV) event produced by American promotion, World Wrestling Entertainment (WWE).  It was presented by AT&T and took place on July 11, 2004, from the Hartford Civic Center in Hartford, Connecticut and featured talent from the Raw brand.

Armageddon (2004): Armageddon (2004) was the fifth annual Armageddon professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE).  It was presented by PlayStation, and took place on December 12, 2004, at the Gwinnett Center in the Atlanta suburb of Duluth, Georgia.  Nine professional wrestling matches were scheduled on the event's card.  The event featured wrestlers and other talent from WWE's SmackDown!  brand.  It was the fifth annual Armageddon 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 SmackDown brand: storyline expansions of the promotion where employees are assigned to wrestling brands under the WWE banner.

WrestleMania XXX: WrestleMania XXX (also written as WrestleMania 30) was the thirtieth annual WrestleMania professional wrestling pay-per-view (PPV) event produced by WWE.  It took place on April 6, 2014, at the Mercedes-Benz Superdome in New Orleans, Louisiana.  It was the first WWE event simultaneously broadcast live on pay-per-view television and WWE's new streaming media service, the WWE Network.  Seven professional wrestling matches were scheduled on the event's card and one pre-show match was streamed on the WWE Network.

Vengeance (2002): Vengeance (2002) was a professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE), which took place on July 21, 2002, at the Joe Louis Arena in Detroit, Michigan.  It was the second annual Vengeance produced by WWE.

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.

Night of Champions (2012): Night of Champions was a professional wrestling pay-per-view (PPV) event produced by WWE, which took place on September 16, 2012 at the TD Garden in Boston, Massachusetts.  It was presented by Lions Gate Entertainment's "Dredd" and was the fifth annual WWE Night of Champions event (sixth including ) and the thirteenth in the WWE Vengeance/Night of Champions overall chronology.  The theme to the Night of Champions event is that all sanctioned championships are defended on the card.  The event managed to gain 189,000 buys.  That is up from last year's event, which gained a 169,000 buyrate.

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.

Vengeance (2003): Vengeance (2003) was a professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE) and presented by Eidos Interactive's "", which took place on July 27, 2003 at the Pepsi Center in Denver, Colorado.  It was the third annual Vengeance event and starred wrestlers from the SmackDown!  brand.

Vengeance (2006): Vengeance (2006) was a professional wrestling pay-per-view (PPV) event produced by World Wrestling Entertainment (WWE), which took place on June 25, 2006, at the Charlotte Bobcats Arena in Charlotte, North Carolina.  It was the sixth annual Vengeance event.  Eight professional wrestling matches were featured on the event's card.  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: a storyline expansion of the promotion where employees are assigned to a wrestling brand under the WWE banner.

TLC: Tables, Ladders &amp; Chairs (2013): TLC: Tables, Ladders & Chairs (2013) was a professional wrestling pay-per-view (PPV) event produced by WWE, which took place on December 15, 2013, at the Toyota Center in Houston.  It was the fifth annual event, and WWE's last pay-per-view event in 2013.  The theme of the event is that the main event was a Tables, Ladders, and Chairs match.

Supporting paragraphs: Happy? (Mudvayne song) Vengeance (2005)
Answer: Happy?