I saw those two buyout numbers on Mario and Stoops. I don’t see us paying a $15M buyout fee for Mario, though I don’t know what they’ll ultimately decide. The only thing is if there’s a different buyout number in there reserved for certain schools. That would make a difference.