I’ve been in the same situation and ended up using https://pdft.ai/translate-large-pdf/. It accepts files up to 100 MB, which covers most large manuals, and supports multiple formats. The translation quality is good, especially for technical terms, and it preserves tables and diagrams quite well. You just upload, pick languages, and in a few minutes you get a translated file ready to use. I liked that I didn’t have to split my document or adjust formatting afterwards.