Adding some LEDs
I did a quick test with the WS2811 LED strand and I'm quite satisfied with the results. They are slightly brighter then the original bulbs, consume far less power and hence don't get hot. Especially under the white playfield inserts, the RGB colors look fantastic. The red inserts filter out all the other colors, so it only makes sense to have these LEDs configured for red only -- but that's not a big problem, considering how cheap those LED strands are.
I started to work on a platform driver for the Mission Pinball Framework v30. There is some basic functionality already -- but still some bugs need to be resolved.