Thanks. I suspected those were my options. Unfortunately, the company handling payroll won't send a corrected W-2, so I'll have to submit with box 12d having the lower number and then send in an amended return.
Thank you.
