 I did not. I usually pencil in four hours for those, at least before the pitch clock. And I think it's just another example that the pitch clock is a great thing. And then the guys who pitched in that game also did a great job of throwing strikes and keeping the game moving. But to me, the pitch clock has been a huge hit.