Replace power supply in a HP Color LJ 5?

I have a client who has been told by someone else that they needed to replace the high voltage power supply in their HP Color LaserJet 5. They have the replacement part, and I can find the existing part in the printer, but can’t figure out how to get to it. Printer repair is not quite my forte, and I’m really just doing it as a favor for a current client.