I finally got the higher resolution to work on my mere mortal userid. The higher resolution worked for the root userid but I would get blank gnome panels at the higher resolution with my mere mortal userid. The problem is probably related to the “Save current setup” check box you see when you logoff. I guess that gnome freaks out when it finds a configuration saved at a lower resolution. To get out of this problem, I created a new panel and added the Preferences application. I found that if I changed the resolution to something else and then changed it back to the right resolution it would refresh the screen correctly. Once I had the screen formatted correctly, I could then log off and check the box to “Save current setup”. The next time I logged on everything would be correctly formatted for the higher resolution.
While I was playing with the screen resolution I went ahead and installed foo2zjs so I could print to my Magicolor 2200 printer.