Viral Christmas house in Dallas cost taxpayers $25K