Digital-RGB LEDs are RGB LEDs that contain their own "smart" control electronics. What is one example of where Digital RGB LED lights are used