Question: Mudvayne's single "Happy?" was the theme song of a PPV event that was held in what city?
Sentence (from "Vengeance (2005)"): It was the fifth annual Vengeance event.
Relevant evidence: No