Oh! And oddly enough, on the FX side of the desk here, we do have working LEDs next to the faders of 7.1.2 Beds. It's only the DX/GRP 7.1.2 Beds side right now that we're not getting LEDs next to the faders.
I've also tested banking around to see if the LEDs were dead but they work fine on other channels.