I recently purchased a Dell Inspiron 17R (5720).
I wiped Windows 8 and installed Ubuntu 13.04 and everything is working well, except I have 3 buttons on the upper right corner of the keyboard that light when pressed, but don't register.
showkey -a in a terminal window and they don't send a scancode or keycode.
I believe they are special like the power button, multimedia keys and lid switch.
Has any one found how to customize and/or use these three buttons? Is there a utility to customize the Dell WMI hotkeys?