> One is that it stores a "play count", the number of times you've played a song, directly in that song file. So it's always re-writing the source file of the track in the library.

It writes ratings to the file, but not play count. I don't believe any player does that.