Well, that was a hell of a shift for the BBC Sport elves. We're all going to march into the forest and have a good nap in preparation for tomorrow's race.
Before we go, one final word of praise for today's record-breaker Lewis Hamilton, whose 69th career pole - achieved at the end of an interminable, soaking qualifying session - surely ranks among the best of his career.
We'll be back with you from 11:30 BST tomorrow.
See you then.