Since his phone is synced with another library, it should ask you to erase and sync when plugged in to your computer. Select cancel and just update the OS. Now if he syncs his phone to his own computer after that, I am not sure that the OS will remain. But I could be wrong.