Surely he could have just logged in without internet connection and deleted what he needed (or put it on a USB stick etc etc)
He may have been removed from the domain at work but he was using the computer at home, I've never had a system which was rendered a complete brick by being offline