In a recent relapse of TEA i bought a faulty Lecroy 7200A mainframe + 2 x dual channel 500 MHz / 1GS/s plugins for 75 britbucks

I found the mantainance manual for the plugins on elektrotanya but no luck yet on the 7200A, KO4BB has some resources but not the mantainance manual (at least i couldn't find it there)
Does anybody have it? or some other place to check?