Daewoo DSC-3270E / NEC PF32W01 Service Manual required

[Mark]

I'm looking for a service manual for a NEC PF32W01 which I believe is
a rebadged Daewoo DSC-3270E. Does anyone have this manual or can
provide a link for download of this manual.

Cheers

Mark