HP DesignJet 5000PS Series Service Manual - 404 page printout. Need to do some work on your printer or do you just want detailed information on your printer? Save yourself the cost of a repair shop diagnosis. This is a full printout of the Service Manual for the HP DesignJet 5000PS Series Printer. . Just $34.95!