hp 9800 service manual