Happy holidays, and may everyone get some rest!