 And he said, no, he said it sped our game up by 20 minutes. He goes, I think it's going to speed Major League Baseball up by 30 minutes. It hasn't. It's been about 20, 25 minutes. But it was long overdue. They tried it in Minor League Baseball for a couple of years, and it's absolutely helped baseball. Attendance ratings up. People love sports.