During the Holidays, do the Fountains of Bellagio in Vegas play its normal music, or only the Christmas music?

In the past where I have been there during the holiday season I have heard their usual tunes (i.e.- pink panther, titanic, your song, etc). Due to the complexity and costs of the programming, I have never heard of them playing a different playlist that included Christmas music during the holidays.

Christmas music. Only Christmas music.