 Not yet, but they do plan to get $300 million. Keep in mind, something to kind of use as a rough reference point would be the Raiders stadium since it's the same stadium board that is dealing with the A's that dealt with the Raiders. And when the money fell through from Sheldon Adelson, people here in Las Vegas remember the late Sheldon Adelson was going to be a huge investor in the stadium. He bowed out.