I'd go with number 3. Actually, that's what this year's release would have been. The same box artwork with just the bare bones original movies on DVD, the theatrical versions, which, for the first movie, has never actually been released to a home format, has it? Only clean up the picture and sound. Restore it, don't change it. Perfect. The end.