Just found that some other people noticed the FPS playback difference of DVD vs. encoded video, but in his case it's 60/59.94. So it looks like this 1001/1000 playback FPS difference is not limited to FILM DVD.
https://forum.doom9.org/showthread.php?t=170405