We have a Craftsman garage door opener that has been working fine. Yesterday, the overhead lights quit working when you open or close the door or walk in front of the sensors. We checked the bulbs and replaced one which was burned out. The lights still do not work...for no apparent reason. Has anyone experienced this before and how do you fix it?