You should receive a W-2 or a 1099-MISC for this $25,000. You will need to account for the income and report the taxes paid.
If you haven't received it, especially since you have the one for $40,000, I would call your attorney and/or the administrator.
