Merry Christmas to all from Park City, Utah.