 And they just tried to hit as many home runs as possible. And there was a bonus round after that and yada yada. But I actually thought it was a good time. I thought it was pretty fun. There was some drama at the end. Like you said at the top of the hour, Eddie, to Oscar Hernandez of the Dodgers, he's the first ever Dodger to win the home run derby.