Another option is to dremel down the tops of the LEDs. There is a lot of curved plastic at the tops of the LEDs that isn't necessary. I just ground the tops off of my LEDs. Mostly for the additional diffusion, but it also helped buttons fit a touch better.
_________________________
Tony Fabris