This is a great example of how today's "piracy" is tomorrow's "only working copy left". I wish there were a more formal way to explicitly allow this, though I'm probably just pining for shorter copyright terms. This game was released 20 years ago, longer than the original U.S. copyright term of 14 years.