Does Texas need a 'Merry Christmas' law?