I have had good results rubbing sandpaper over LEDs. Seems to disperse light, somewhat softer and wider.
Nice and simple...
I've seen some equipment (not pinball) simply with a blob of silicon on the end of the LED, enough to soften the glow without dulling it down.
MM.
