I had already checked fanedit.info before I joined this forum. What I discovered was that the PAL DVD-9 link has the same checksum as the NTSC DVD-5 link (or something equally painful along those lines). What was most off-putting was that the filenames in the PAL link also indicated they were NTSC files.
vaderios sent me a link by PM. At least the one I found from him is labelled correctly, so that's promising ;)