My .02$: it's never OK to run a red light. And when I go on red when there's a defective sensor, I'm not running the light; whether you're travelling by car or bike, when you encounter a defective light, you're supposed to treat it as a stop sign, stopping then proceeding when it's safe to do so.

I agree, if the bike lane was usable, it would have been better for the rider to use it, except to pass. But at least around here, a lot of bike lanes aren't usable. Sometimes they keep you in the door zone of parked cars, sometimes there's gravel and broken glass and other trash. Sometimes there are cars (and one notorious porta-potty) illegally parked there.