Thank you, Abel. I’m still reading, but this is my latest take. (Note use of technical jargon.)
Winmail.dat is NOT a virus. It’s an e-mail thingy that has to do with the formatting of email. You can turn it off (per the website you posted), but it’s harmeless, so my friend can relax. Life is good.