If he still has his serial number/activation code found on the inside of the "getting started" booklet...or the sticker from the upgrade to 6.1 mailed out to many users in the first few months of 002 existence, he should be able to download 6.4, which functions as a standalone installer (despite a statement to the contrary on the 6.4 page).