At this time, we don't know how much since the settlement is supposed to be confidential. How much do you think he got?