Well, I seen LED street lighting in some roadways, high mast lighting, and intersections, so TxDOT is replacing HID street lighting to LED street lighting in some roadways.
I miss those HPS street lights.

Plus the 99 (Grand Parkway) Has some HID lighting, but most of it LED, cause I think it got replaced.