Viral Christmas lights display costs Dallas taxpayers $25K