> If you decide to whittle down your install, I recommend using an rpm
> GUI manager, if you version of Linux has one. On RedHat it is, just a
> minute and let me check, /usr/bin/gnorpm.

Thanks for the info, I will check it out!
...Art