This all seem bizzare to me. Whenever they install pedestrian lights (often button operated) in my city (not in US) it's always red and green and it's always with red, yellow and green lights for cars.