Yeah, I'd tell him I redefined a button for him, the big silver one on the front of the computer case.
Or something like:
["F1"]^C^C_shell SHUTDOWN -s -t 01;
["F2"]^C^C_shell SHUTDOWN -s -t 01;
["F3"]^C^C_shell SHUTDOWN -s -t 01;
["F4"]^C^C_shell SHUTDOWN -s -t 01;
["F5"]^C^C_shell SHUTDOWN -s -t 01;
["F6"]^C^C_shell SHUTDOWN -s -t 01;
["F7"]^C^C_shell SHUTDOWN -s -t 01;
["F8"]^C^C_shell SHUTDOWN -s -t 01;
["F9"]^C^C_shell SHUTDOWN -s -t 01;
["F10"]^C^C_shell SHUTDOWN -s -t 01;
["F11"]^C^C_shell SHUTDOWN -s -t 01;
["F12"]^C^C_shell SHUTDOWN -s -t 01;