Oh, and the song that everyone processed in to was the tune to the hymn "Thine is the Glory." While I realize that Handel wrote the piece a good long while before someone came up with the lyrics to the hymn, I don't think it will stop me from belting out next year as I process (because it's one of those songs that can only be belted):

Thine is the gloooory
Risen conq'ring Son
Endless is the Viiiict'ryyyyy
Thou o'er death hast woooon!