why a hotkey? if he wants it to always be sticky, then just set it as sticky in his personal.rc. then he won't have to hit the hotkey every time.