 All right, I guess I better wrap up. I had some other stuff in sports, but we kind of rambled along with football today. But it is football season. And another kind of football we'll talk about in a minute. And other places they call soccer football. We call it soccer here.