Apple software: moving Mail to an older computer
I moved mail from Sierra to El-Capitan and it worked fine. There are no reported problems with the scenario you're describing. I'd suggest following this Apple Doc before sending your mac for repair and check that everything is working, though.

Mail for Mac: Import or export mailboxes