AS a former tv repair man I can say that I have not seen a resistor short. They usually burn up and go open if something else shorts and draws too much current them. They act more like a fuse.
My evaluation would be similar to your coworkers. The led caused too much current to flow thus burning the resistor and tripping the coil either because the resistor went open or the current was too much.
