Rich, I should have said that the mini-sprint feature was over around 12.

Tonight the sprint feature was over a bit earlier. Considering that they started late, it was a very reasonable hour, not quite 11? Forgot to look at my watch.