REQ: Service manual for HP 2000C printer

[Joe]

I repaired the broken spring holder but now I need to check the paper
sensors.
I'm looking for a service manual.

Thanks,

jan
finland