I ran a factory reset on the device, including the internal storage. Now all the sample music files (and possibly other media files, who knows?) are gone. I thought these were stored somewhere internally and would be re-deployed on a factory reset, but this didn't happen. Does anybody know if an archive with this stuff is available somewhere?
EDIT: forgot to say that of course I searched the board, but I didn't find it with the keywords I used.