They do have a dedicated holiday loop, and it plays at Pioneer Hall as well as (at least) the quiet (cabin) pool area, which may be the best spot for gettign a recording. I was unable to get a reference recording last year but if someone is able to get one I'd be happy to do the identifying legwork. That music is pretty awesome.