I should add that there's nothing on my W-2 from my employer that shows the amount that's been reimbursed, unless that was already added into wages and I didn't realize it. Which is certainly possible, because that amount I see in box 1 does look a little higher than I thought it would be.
