Mall Musicians

I know that during the holidays, malls will have specialty musicians performing during this time. I was wondering if anyone has come across these in any of the D/FW local malls? I'm not talking downtown Dallas or Fort Worth street musicians, but very similar within a mall?

If so, let me know which mall and what kind of music (I know it's holiday music but, vocal, instrumental, etc).