I suspect that if they allow admins to download DMs, they also probably soft-delete messages, so deleted messages would still show up in the exports. Can anyone confirm?

For compliance exports at least, preserving deletes and edits is an option you can set.