I don't remember an official announcement, but it's pretty clear that RoFo dropped Tucker. Now, do they go after Adley, Gunnar, Jordan, or Jackson H.? Or do they go big and bring in Lamar?