Question: Mudvayne's single "Happy?" was the theme song of a PPV event that was held in what city?
Sentence (from "Happy? (Mudvayne song)"): The song was the theme song of "WWE Vengeance 2005" and has been played as a commercial bumper track for "The Jim Rome Show".
Relevant evidence: Yes