OK, just done that. The only thing that looks out of place is the message:

! tunedb_disk.cpp :1274:Database size mismatch error.

At which time, the player paused. Presumably this was while it rebuilt the database internally? No funny noises from the hard disks this time either.

Guess the next step is to see what Emplode thinks I have in the way of playlists, and try and upload the songs again?