Hi Dave,

Here's a way to make the symbol about half its usual size.
Hit Alt-J, and cut-and-paste in the following text:

SCOPE_SYM=C007f9f;m-36,0;l36,0;m0,-36;l0,36;e0,0,24;

and hit Enter.

Essentially, the scope symbol is defined the same way as
symbols in user-added datasets. That means it's quite flexible
and if you'd like the scope symbol to be a red smiley-face with
green horns and a purple beard, you can do that. However, it's
not entirely trivial to put these symbols together. Here are
the details on how it is done:

http://www.projectpluto.com/tdf_info.htm#custom_symbols

At some point, I'd like to put something together so a user
could click on a "choose symbol" button, to select the symbol
used for the scope locator or a particular dataset. You would then
get a palette of a few dozen (or few hundred) symbols, and would
then select one and its size, color, and tilt angle. But for
the present, at least, one must use the above method.

-- Bill