Thanks for the response, Nixgeek.
It seems likely that the problem is indeed related to plugging two different iPods into the same computer, albeit under two different user accounts. What puzzles me is that it was the iPod music that appeared to be deleted, not that in my son's iTunes...