If he has installed the IE service packs, he should be able to REPAIR IE through the Add/Remove Programs list.
Responses to this message: