I consulted with co-workers who use TT and found out this is the answer:https://ttlc.intuit.com/community/tax-credits-deductions/discussion/high-deductible-heal...
I should also add: I'm using "self-employed" turbotax b/c my wife has some side jobs and, as I said, we're filing jointly. I of course am NOT self-employed, and...
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,...