Hi:
In our START_UP program we do the following:
00900 ! ^100,5 - Set F5 and Shift F5 keys
00905 defctl $000074$=5 ! F5=F5
00910 defctl $000174$=-1 ! Shift F5 calls utilities
Like you, we found that F5 calling the utilities got in the way, but we liked having access to the utilities when we are in command mode, so Shift-F5 was a good tradeoff.
Hope this is useful
Regards
Dave