I thought it sounded like them, too, James, but I've been unable to find anything on google or at teh "official" site for the show.
I did make a note in this thread about the inaccuracy of "Greensleeves" but regardless, I thought the music was well done.