Fixing JVC RS20 lamp cover switch - need service manual/any help!

Does anyone have a copy of the JVC RS20 service manual? I recently bought one and, in shipping, the little lamp door sensor broke off. I have the projector opened up and I'm almost done disassembling it, but I want to make sure I am not doing anything catastrophically wrong before I go ahead and remove the optical assembly so I can remove the piece of plastic which holds the sensor. I'll post pictures of my progress later on.