Just a thought. If they worked on the doors of the car and had the interior trim panels off they may have left the small
C shaped escutchen off around the door latch. This pushes the door flange switch for the interior lights which turns them off. It is easy to overlook it not being there.