He could always fall back on ROM Manager and flash Clockwork. Doesn't matter, whatever is easiest for him.
There are a ton of different ways to do it but the way I suggest has the least problems.
Rom Manager and easy root have been giving people fits!!