I heard they had a buyer and sold early.