Lose the "red hat" gnome menu icon? Menu editor?

["psyche-list@xxxxxxxxxxx" <psyche-list@xxxxxxxxxxx>]

Here's a trivial problem I can't seem to solve - how does one change the
"red hat" icon for the GNOME menu? I liked the gnome foot much better.

Also, what's the actual command (redhat-* or gnome-* ?) to edit the
primary GNOME menu?

Thanks very much.