Why are you stuck? To migrate to another provider i just have to change some MX records which I control myself anyway?

Pumping data in and out may take a while, but they expose an imap interface and it’s a right click in thunderbird or whatever to do this or a ./cli to dump an imap mailbox…