I was able to find the 720p 3GB torrent for this, along with STAR WARS and The Empire Strikes Back, but don’t know which version number it is. Does MySpleen have a BD25 1080p version? I’m about to look very soon.
Which version you have is shown after the end credits. After the last of the end credits scroll by, the screen fades to black and the music ends, wait about 5 seconds and the version information will appear.