Hello Dave,
I am not sure how my company reported it. I did not receive a taxable document from them and I can't tell if the amount is reflected in box 1 on my W2. I emailed my employer to find out if I perhaps needed a 1099-r form from them and they were unsure and told me they would get back to me.
