"Jemplode has another problem in that it won't write the position number of a downloaded file's filename!"

You can use tracknr or tracknr:2, this always works for me. Then if you use Tag & Rename or Tag Studio, you can fix your IDv3 tags before uploading them to your new upgraded player.