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.