apparently the 15% discount IS added to my total W2 wages/earnings, although I never saw it clearly shown as a line-item income addition on a pay stub. Anyways, if it's already covered by W2 wages then no further action is needed.
