I'm returning the Stern board - I've got a bid on eBay for a replacement WPC display controller, and if I don't win, I'll think about using the LED display. It would be a cleaner, although much more expensive, solution. I've already got a spare DMD display that I was going to use, which would save a few dollars. The lowest price I've seen for the LED dot matrix displays is about $270, making a new plasma display and controller board less expensive then the LED alternative.
If anyone knows of a less expensive source for the LED display, please let me know.