In the end, I had him grab his .pst file and roll back to before the problem occured. This fixed the problem, so fortunately no harm was done.