Originally Posted by paulhdick
ETK stands for Ersatzteilkatalog, and you are correct, it is the parts catalog which is avalible online for free. The OP was asking about the service manual, aka RepROM. RepROM is not the same as ETK.
Gah, you're right. I've got 3 ETK icons, but forgot I need to mount the RepRom ISO to access that...
I'll go find something to blame the lapse on