I wouldn't rule out any price for him at this point. You could have him go for $100 million and look up in 5 years and see that Meydan is named Khalifa Downs.