I've been advised that there's a danger of my iPhone getting wiped, and synching with all the stuff on the friend's PC, so, having been bitten by an erroneous sync once before, and losing all 240 contacts, I think I'll play safe and sync the stuff on my own PC, and transfer it another way. By the way, the music files are my own, not from iTunes, so no DRM to worry about.