Yes, I just wanted to clarify that the pitch of the vocal AND the backing are raised together, IDENTICALLY.
Is is easy to notice a vocal that has been changed, but not so noticable with music. In this case the vocal "sounds" different (that's because it is), wheras the music may "sound" untouched (but in reality, it is different, just as different as the vocal).
To demonstrate the differences in the music, here is a short clip of the two intros, First part is the intro from the Cindy thing, followed buy the same intro by Tony.
Ends of the Earth intros only.wav