Already been to that page. Couldn't find it on there. Thanks for the help though. Unless there's a different mirror that hasn't come up in a search, I think I've looked through all of them.
I've just been downloading a bunch of maps. They don't take up too much memory so it's not a big deal if I never end up seeing a game in a few of them.
I won't worry about this one though, if no one plays it then it's not worth searching for that file.