If it was me, I'd make a new folder in Thunderbird, copy all the messages I needed to to that, and give them a copy of that file.
That was my first recommendation, but they said they specifically want .txt or .html individual saved files.
I know....I know.....