I believe they're LEDs from Color Kinetics (http://colorkinetics.com/)(?). I originally thought that they selected the colors, but I think they're on a slowly changing pattern. So if you drive past the hotel a couple of times, you'll see a different color each time.