I'm sitting in a restaurant and something came up on a European sports channel that indicated F1 going public. Has anyone else seen anything?