If you're into DIY, then there are plenty of DIY projects out there that could be relatively easily adapted to LEDs in channel letters. Most use either a RaspberryPi or an Arduino for controllers. Might be pricey for your customer, but this kind of special request warrants extra charges.