It was a real problem. So, they came up with a novel solution. They began serving fresh donuts at break time.
The problem then went away.
So either way, the red light was ON at break time!