Você mencionou que alguns dos arquivos são enviados para nomes como FILE001 como arquivos zip. Se o arquivo .odt que você está procurando estiver zipado, você precisará usar o segundo comando fornecido abaixo. Assumindo o melhor caso, o arquivo .odt é descartado como está e está disponível como um arquivo .odt , então você pode usar o primeiro comando em Terminal.app para exibi-los.
find /path/to/root/of/dump -type f -and -iname '*.odt'
Para pesquisar os arquivos zip, use o seguinte.
find /path/to/root/of/dump -iname '*.zip' | while read fname; do unzip -l "$fname"; done | grep "Archive\|.*\.odt"
Isso mostrará a localização do zip com os arquivos que possuem a extensão .odt abaixo dele. Se não houver arquivos abaixo dele, isso significa que o zip não possui arquivos com extensão .odt .
Exemplo de resultado da seguinte forma.
Archive: ./EDU/test.zip
5 08-25-2015 12:25 test.odt
Archive: ./abcd.zip
Archive: ./okay.zip
5 08-25-2015 12:25 quiz.odt
Aqui, em relação ao local onde executei o comando, encontrei três arquivos zip. Os três arquivos são, incluindo caminho, ./EDU/test.zip , ./abcd.zip e ./okay.zip . Desses três arquivos zip, test.zip e okay.zip possuem .odt arquivos. Por outro lado, abcd.zip não possui .odt arquivos.