Now on to the formatter.

Remove 2 screws on the I/O port cover.

Remove 6 screws on the formatter cover.

Disconnect 3 connectors to the laser assembly, the cartridge connector, and the control panel.

Disconnect 2 flat flexible cables to the laser assembly and the control board.

While the service manual says not to use a PoziDriv screwdriver, I found that using a normal Phillips screwdriver on the screws in this printer would require excess force and damage the screws, but a PoziDriv screwdriver removed the screws without causing any damage.