Also you'll note that when you push the button as a pedestrian it can take up to 3 minutes for it to change. I find this exceptionally inefficient. You get pede

Also you'll note that when you push the button as a pedestrian it can take up to 3 minutes for it to change. I find this exceptionally inefficient. You get pedestrians chancing to cross and then the lights change.