he said you never degass liquid plastics... always pressure cast

So what was Brian doing, then?

I got the following colors

I was thinking it would be cool to get some kind of black pigment too, so you could mix it with white and do a milky gray. That would give you gray buttons in the daylight, just like the original design, but then they could glow gray or (with a little coloring over the LED) colored at night.