When me and my parents were on the Grandparkway (Texas 99), a few HPS streetlighting, which was the GE M400R2 FCO version, had replaced with Cooper Lighting Navion and Verdon series LED streetlighting. NOT GOOD!
I'm guessing that when a HPS streetlight is out or cycling, they don't change out the lamp, they change out the whole fixture to an LED one. The Grandparkway (Texas 99) had originally had HPS fixtures, some are now being replaced with LED.