I'd be right there with you, Fallacy, but he's got a PDF, which the usual things, Google translate, etc. don't work with. Later versions of Acrobat and many flatbed scanners have OCR code that's pretty good. Once you've got the text, then you can machine translate:
unfortunately, Pretty good ocr + pretty good machine translation = pretty bad technical document.
junkie- have you considered calling tech support? I know they have some support in the states.