The W2 you get now for 2020 should include the 25,000 in box 1 and the 6,000 withholding in box 2. That's how you get credit for the 6,000 now on your current 2020 tax return. I don't know how it works when you pay back the full 25,000.
