My ESPP company discount is always included in W2.

Go look at his paycheck. If that is in W2, you already paid tax for it.