I got the tip in early January, Jan. 2. We paid that the...

I got the tip in early January, Jan. 2. We paid that the first of this year. It was our first payout, one of the largest we've ever had, so we're real glad that worked out.