Red lights also regulate speed, although I don't know if they are intentionally de-optimized from green for this reason.