(Brion Vibber vibber@aludra.usc.edu):
If we just install the RedHat RPMs it should in theory be fairly painless, but I'm not too familiar with how the red hat boot goodies are set up or how to make it fall back to the previous kernel after the first reboot if the new one doesn't work.
I'm fairly familiar with how to do that (just having done it on my test machine a few times), but it requires a boot floppy or CD (and therefore the 3-hour trip for Jason).