I have a Craftsman 1/2-hp garage door opener that is maybe 12 years
old. Over the years I've had trouble with the light bulb not turning
on because of the vibration, which was fixed by rescrewing the bulb.
Well, the last time it happened my roommate "fixed" it, but it didn't
work, and he realized he had flattened the contact in the socket. So
what did he do? He grabbed a pair of pliers and - without turning off
the power - tried to pull the contact out. There was a loud pop, he
said, and now the socket is fried. (My roommate is alive thanks to the
insulation on the pliers). The garage door opener still works, and
there is a click when I turn on the wall switch. My question is (1)
Was other damage to the box besides the bulb socket?, (2) Is this
socket replaceable? (3) How easy is it to pull it out if I can find a
replacement socket? (Or do I have to remove the box from the ceiling
and take everything apart?)

Thanks for any information and insight,

John Fuller