" it was an automatic withdrawal from paycheck "
If your employer contributed your vacation pay to your 401K plan at work,
you will see that amount in W-2 box 12.
In which case, there's nothing for you to do.
@7e32e89e9238
