Removed F11 hotkey, is it needed?

User requested removal of F11 to accomodate Fraps recording.  I never
used F11, and I see no need for more than one hotkey.  Does anyone else?