How to replace overhead console, courtesy lights?

"Ken Britton Jr, here is what the service manual says:

""DOME LAMP REMOVAL

(1) Disconnect and isolate the battery negative cable.

(2) Using a small flat blade, pry the left side (driver’s side) of the dome lamp lens downward from dome lamp.

(3) Allow the lens to hang down (Fig. 1), this will disengage the right side of the lamp (passenger’s side) from the headliner.

(4) Pull the right side of the lamp down and slide the lamp to the right (Fig. 2).

(5) Separate the lamp from the headliner.

(6) Disengage dome lamp wire connector from body wire harness.

(7) Separate dome lamp from vehicle.

READING LAMP REMOVAL

(1) Disconnect and isolate the battery negative cable.

(2) From the center of the lens outward, pry the lens from the overhead console.

(3) Remove bulb.

INSTALLATION

(1) Install bulb.

(2) Snap lens into position.

(3) Connect the battery negative cable."