Fluke 871AB Service Manual available?

[Storm]

Hi folks,
I am new to this forum and hope I have picked the right board for my question...

I recently got hold on this Fluke 871AB DC Differential Voltmeter but I cannot find any related documentation on the web.

I want to restore the instrument back into specs and also think about documenting the repair in this forum or even make a video... but one step after another.

First thing I did was removing this completely dead NiCd-Battery Pack from the instrument before it starts leaking...

I did not do anything else so far and I want to get hold of a digital copy of the respective Fluke Service Manual first in order to familiarize with the device.

Is there anybody out there that happens to have this manual or knows where I can get one?

Did anyone ever hear of this Fluke 871AB or even used it before?

Thanks in advance,

Storm