Great: it does what I needed

Some 250 files were missing in my database, but Media Sync put them all back, even with their original time stamp!