And the last last word on the final: the last session attracted an average viewing audience of 3m, which is impressive considering the match was all but over.
This was the number of people watching on BBC2 so does not include online, digital interactive or Eurosport viewers.
Last year's final, which was also over quickly, drew an average of 3.4m for its final session so it isn't unreasonable to assume the figure would have grown had either match been closer.
This is one of the quandries for BBC schedulers. They expect their best audience post 10pm so start the finals at 8pm hoping it will finish after around two hours.
But, of course, close finals can go on so long that they finish after midnight and millions turn off.
The press coverage this morning was healthy, which is a consequence of the early finish.